全球数学家为 Epoch AI 列出 50 个重大未解数学难题

全球数学家应 Epoch AI 邀请联合评选出 50 个高难度前沿数学难题，核心要求是所有题目的解法必须能够被程序自动验证，用作评估 AI 前沿推理能力的基准。该清单涵盖代数、拓扑、数论等领域，包含三个立方和问题、孤独跑者猜想与琼斯平结猜想等经典挑战。截至 9 月已有部分题目取得进展，其中关于委员会选举公平性的核心问题已被人类研究人员借助 AI 与 Lean 证明助手共同攻克。