GPT-6 Astra 与研究团队攻克 FrontierMath 重大开放难题

在 FrontierMath 数学基准上，GPT-6 Astra 与三位研究员合作攻克一道自 2017 年提出、悬而未决九年的“重大进展”级开放难题。该题围绕批准式委员会选举中“核是否为空”展开，团队最终证明不存在“核为空”的反例，即任何情况下都存在满足条件的公平委员会。协作过程中，GPT-6 Astra 还提出基于“调和熵”的新投票规则，并给出多项式时间算法，证明局部最优解即可满足“核”要求。Epoch AI 已为此类成果新增“Human + AI”标签。