RecodeX 重构消息，Epoch AI的FrontierMath基准测试出现首个被攻克的「重大进展」级难题。慕尼黑工业大学Patrick Becker、牛津大学Matthias Greger与巴黎九大/CNRS的Dominik Peters三位研究员在GPT-6 Astra协助下，证明批准式委员会选举中「核」永不为空，即绝对公平的委员会必定存在，从而否定了自2017年以来学界寻找「核为空」反例的方向。

论文《Existence of the Core in Approval-Based Committee Elections》提出基于「调和熵」的目标函数，证明其局部最优解必落在核内，并给出多项式时间算法。论文致谢注明该投票规则及满足core+的证明由GPT-6 Astra发现。

FrontierMath难度分四档，该档共6题，其上「突破」级3题仍无人攻克，全榜49题仅解开8道。Epoch AI已为榜单新增「Human + AI」状态标签。