在全球顶级 AI 数学基准 FrontierMath 上，一道悬了九年、自 2017 年就被抛出的”重大进展”级开放难题被拿下 —— 而这次的功臣是 GPT-6 Astra 与三位人类研究员的人机组合。题目问的是批准式委员会选举里”核是否为空”，本意是寻找”核为空”的反例，GPT-6 Astra 却反过来证明：这样的反例根本不存在，也就是说绝对公平的委员会在任何情况下都必定存在。这是 AI 头一回摘下”重大进展”级数学难题，意义不只是多解了一道题。
在全球顶级 AI 数学基准 FrontierMath 上，一道悬了九年、自 2017 年就被抛出的”重大进展”级开放难题被拿下 —— 而这次的功臣是 GPT-6 Astra 与三位人类研究员的人机组合。题目问的是批准式委员会选举里”核是否为空”，本意是寻找”核为空”的反例，GPT-6 Astra 却反过来证明：这样的反例根本不存在，也就是说绝对公平的委员会在任何情况下都必定存在。这是 AI 头一回摘下”重大进展”级数学难题，意义不只是多解了一道题。