**谷歌DeepMind的AlphaProof Nexus以数百美元成本解决数十年未解数学难题**

_Google Deepmind&\#039;s AlphaProof Nexus solves decades-old math problems for a few hundred dollars_

> 谷歌DeepMind的AlphaProof Nexus系统已自主解决了九个开放的Erdős数学难题，其中包括两个困扰数学界56年的问题，每个问题的推理成本仅需数百美元。该系统与OpenAI的自然语言方法不同，它使用Lean编译器自动验证每个证明步骤，但整体成功率仅为2.5%。

**来源信息**
- **来源**：The Decoder：AI News（RSS）
- **分类**：ai-models
- **发布时间**：2026-05-25 18:41（北京时间）
- **原文**：[打开原文](https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars)