GPT-6 Astra 与人联手，解开悬置九年的数学难题

FrontierMath 上有一道挂了九年的难题，最近被解开了。解题方不是纯人类团队，而是 GPT-6 Astra 加三位人类研究员。榜单为此专门新增了 Human+AI 这个状态标签。

题目本身就很反直觉

这道题原本是要找一个核为空的反例。结果模型反过来证明了反例根本不存在，一个看起来要证伪的方向，最后变成了一次正向证明。

这类反转在数学里并不罕见，但由模型主导完成，还是第一次被记到 FrontierMath 的榜单上。

GPT-6 Astra 顺手提出了一个基于调和熵的投票规则，并给出多项式时间算法。这部分的价值可能比解出单道题更高，因为投票规则可以迁移到其他推理任务上，而单道题的答案只对这道题有效。

新增这个状态标签，等于承认人机协作的成果需要单独归类。它既不完全是模型的独立成绩，也不该算作人类的成绩。这个分类动作本身，说明评审方已经认为人机联名会变成常态。

按素材里的说法，它属于重大进展级，且在 FrontierMath 上悬置了九年。

素材没有展开三位研究员的具體分工，只能确认解题是以人机联名的方式完成。

这件事的信号意义大于单题结果。当榜单开始为人类与 AI 的合作成果单独设标签，说明评估体系已经在为这类成果让路。