在顶级AI数学基准FrontierMath上，悬置九年的开放难题“批准式委员会选举中核是否为空”被GPT-6Astra与三位研究员联手攻克。原本要找“核为空”的反例，模型却证明反例不存在，即绝对公平的委员会在任何情况下都必定存在，并顺带提出新方法。
