GPT-6 Astra 助解 2017 年投票理论难题，Epoch 认定 FrontierMath 首个重大突破

kimmonismus · x · 2026-09-19

Epoch AI 宣布 FrontierMath 上首个「Major Advance」成果：Becker、Greger、Peters 三人在 GPT-6 Astra 的「长时间交互会话」中解决了《The Core in Approval-Based Committee Elections》——证明不存在核心为空的委员会选举实例，因此原题按字面不可解，但按政策仍标记为已解决。该问题由 Aziz 等人 2017 年提出：n 个选民以认可投票选出 k 人委员会，「公平委员会」要求不存在按比例可推翻它的选民-候选人联盟，核心即所有公平委员会的集合。Peters 表示没有 Astra 团队大概率找不到证明，但 Astra 也无法一句 prompt 直接解出，故记为「人类+AI」共同成果。这是 AI 参与原创数学研究的标志性案例。