AlphaProof Nexus 解数学难题：9 个悬置超 50 年的厄多斯问题被攻下

做数学题的 AI 又往前迈了一大步。2026 年 10 月报道，谷歌 DeepMind 的 AlphaProof Nexus 框架在测试中解决了 9 个此前未解决的厄多斯问题，其中两个悬置超过 50 年；此外还解决了 44 个开放数学猜想，成果发表于《Science》。

这类系统的意义不在"算得更快"，而在形式化证明：把猜想翻译成机器可校验的逻辑语言，再用推理框架逐步逼近证明。过去很多数学难题卡在"灵感不可复制"，而自动推理框架擅长在巨大搜索空间里系统性地试错与组合。

图1：框架在形式化证明上的突破

OpenAI 同期也披露了某未发布前沿模型解决数百个长期悬置数学难题的文件。两条线合起来看，AI 在"严谨推理"上的进展，正在从围棋、蛋白折叠，延伸到人类最抽象的思维领地。数学家的角色，也许会从"独自苦思"转向"与推理系统协作"。