DeepMind AlphaProof Nexus 攻克数十个开放数学难题：基于 Gemini 3.1 Pro 与 Lean 形式化验证通过同行评审

1 篇报道存证1 家独立信源交叉印证持续跟踪至 2026/10/12 17:35:54

全景综述与最新动态

1 家信源交叉印证

Google DeepMind 的 AlphaProof Nexus 系统成功解决了包括 9 个 Erdős 问题在内的数十个长期未解数学猜想，并通过了《Science》期刊的同行评审。该系统以 Gemini 3.1 Pro 为核心，利用 Lean 形式化证明语言进行实时错误反馈迭代，即使不依赖专用工具 AlphaProof 也能独立解决高难度问题，标志着 AI 在自主数学推理领域取得实质性突破。

最新动向/Google DeepMind 的 AlphaProof Nexus 系统成功解决了包括 9 个 Erdős 问题在内的数十个长期未解数学猜想，并通过了《Science》期刊的同行评审。该系统以 Gemini 3.1 Pro 为核心，利用 Lean 形式化证明语言进行实时错误反馈迭代，即使不依赖专用工具 AlphaProof 也能独立解决高难度问题，标志着 AI 在自主数学推理领域取得实质性突破。

热度曲线逐小时热度走势

2 个完整观测小时

连续完整观测不足 3 个小时，暂不绘制趋势曲线。

TIMELINE报道时间线

共 1 篇 · 最新优先

The DecoderT2·10月12日 17:3592 分
DeepMind AlphaProof Nexus 攻克数十个开放数学难题：基于 Gemini 3.1 Pro 与 Lean 形式化验证通过同行评审
原标题：Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
- AlphaProof Nexus 解决了 9 个 Erdős 问题（其中两个悬置 56 年）及 44 个 OEIS 整数序列猜想。
- 核心架构采用 Gemini 3.1 Pro 生成草稿，结合 Lean 语言的形式化检查器提供实时错误反馈以修正证明。
- 该研究通过《Science》同行评审，区别于此前仅发布预印本或引发抵制争议的 AI 数学工作。
查看存证研判原始网页