# DeepMind的AlphaProof Nexus攻克数十道未解数学难题

> 这款AI系统证明了44个猜想，解决了9道埃尔德什问题，相关成果还经《Science》同行评审发表。

Oossa · 2026-10-12 · https://oossa.com/zh/deepmind-s-alphaproof-nexus-solves-dozens-of-open-math-problems

DeepMind宣布，其新款AI AlphaProof Nexus为一系列此前尚无解的数学问题给出了形式化证明。研究成果已发表于经过同行评审的《Science》期刊。该系统使用Gemini 3.1 Pro以Lean形式化语言撰写证明，并自动检查每一步。

## AlphaProof Nexus取得了哪些成果

论文称，AlphaProof Nexus解决了目前仍列为未解问题的353道埃尔德什问题中的9道，其中两道此前已悬而未决56 年。它还证明了来自OEIS整数数列数据库的44个猜想，解决了代数几何中的一道未解问题，并改进了极小极大优化中的一个已知界限——这种方法用于训练某些AI模型。

## 系统如何运作

AlphaProof Nexus以Gemini 3.1 Pro为基础，由后者在Lean中起草证明，并即时接收Lean验证器的反馈。草稿未通过时，Lean会返回错误信息，帮助系统调整下一次尝试。面对特别棘手的子问题，系统还可以调用名为AlphaProof的专用工具。论文发表前，团队已在网上公布了9道埃尔德什问题的解答。

## 事实

- AlphaProof Nexus解决了353道未解埃尔德什问题中的9道，其中两道此前已悬而未决56 年。
- 该系统证明了OEIS整数数列数据库中的44个猜想。
- 它解决了代数几何中的一道未解问题，并改进了极小极大优化中的一个界限。
- AlphaProof Nexus以Gemini 3.1 Pro为核心，后者使用Lean形式化语言撰写并修订证明。
- 这项研究发表于经过同行评审的《Science》期刊。

## 为什么重要

对数学家而言，这款AI提供了探索难题并自动验证证明的新方法，有望加快研究进程。对AI工具的使用者来说，极小极大优化方面的改进可能有助于更高效地训练未来的模型。成果经同行评审发表，说明科学界正认真看待AI生成的证明，不过仍需更广泛的验证。

## 来源与参考

1. [Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed](https://the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed/) – The Decoder, 2026-10-12

最后更新: 2026-10-12