**谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题**

> 谷歌 DeepMind 推出的新 AI 框架 AlphaProof Nexus，结合大语言模型与形式化验证系统 Lean，在 353 个 Erdős 数学问题中自主解决了 9 个，其中包括两道已悬而未决 56 年的难题。该框架由多个 AI 智能体组成，通过集成证明生成、验证和进化机制，显著提升了数学研究中的问题求解能力，且推理成本较低。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：ai-models
- **发布时间**：2026-05-26 12:54（北京时间）
- **原文**：[打开原文](https://www.ithome.com/0/955/261.htm)