GPT-6 Astra携手人类攻克重大数学难题

在全球顶级AI数学基准FrontierMath上，一道自2017年起悬而未决的“重大进展”级开放性数学难题近日被成功攻克。此次突破并非仅靠人类智慧，而是由GPT-6 Astra大模型与三位人类研究员组成的“人机协作团队”共同完成。

该问题聚焦于批准式委员会选举机制中的“核是否为空”——传统研究试图寻找“核为空”的反例以证伪其普适性，但GPT-6 Astra却另辟蹊径，通过严密推理证明：在任何情况下，“核”都不可能为空，即绝对公平的委员会始终存在。这一结论不仅推翻了原有假设，更从根本上强化了该类选举机制的理论基础。

更令人瞩目的是，GPT-6 Astra在此过程中展现出超越单纯计算的能力。它不仅完成了海量逻辑推演，还创造性地提出了一套名为“调和熵”的全新投票规则，并配套设计出可在多项式时间内运行的算法。该算法进一步证明：即便仅求得局部最优解，也足以满足“核”的存在条件。这种从问题求解到规则发明的跃迁，标志着大模型正从被动执行者转变为具有主动探索能力的科研伙伴。

在此次合作中，人类研究员主要负责设定研究方向、把控逻辑严谨性，而AI则承担知识整合、大规模计算验证以及提供跳跃性灵感的任务。这种高度互补的分工模式，使整个团队运作如同一个高效协同的研究小组。为认可此类新型科研范式，维护FrontierMath榜单的Epoch AI已专门增设“Human + AI”成果标签，为人机联合研究成果预留专属位置。

这一突破不仅是单一数学问题的解决，更是AI角色在科研领域的一次关键升级——从“解题机器”进化为“规律发现者”。当数学家开始借助提示词引导AI探索未知，科学研究的路径与边界正在被重新定义。