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