GPT-6 Astra 联手人类攻克重大进展级数学难题

全球顶级 AI 数学基准测试 FrontierMath 中，一道自 2017 年提出的、关于批准式委员会选举中「核是否为空」的「重大进展」级开放数学难题，被 GPT-6 Astra 联手三位人类研究员攻克。该题原本要求寻找「核为空」的反例，GPT-6 Astra 却证明反例不存在，即绝对公平的委员会在任何情况下都必定存在。它还发明了基于「调和熵」的全新投票规则，给出多项式时间算法，证明局部最优解即符合「核」的要求。此次人机协作中，人类提供方向与逻辑把控，AI 提供知识库、计算演练及跳跃性灵感。这是 AI 首次拿下「重大进展」级数学难题，标志大模型从「解题机器」进化为「数学规律发现者」，也促使 Epoch AI 为榜单新增「Human + AI」状态标签。