#AlphaProof Nexus

DeepMind 用 Gemini 加 Lean 复现了 9 个悬置几十年的 Erdős 问题，数学机器证明这波真能打，快看看怎么做到的。

kimmonismus@kimmonismus原文

DeepMind 的 AlphaProof Nexus 解出了两个悬置 56 年的 Erdős 问题，还老老实实走了同行评审发在 Science 上，对比 OpenAI 直接往 GitHub 堆证明被抵制，这波操作挺讲究。

官方账号Decoder@Manuel Uth11 个信源在谈原文

数学研究者和 AI 爱好者会兴奋——AlphaProof Nexus 用数百美元成本就解决了人类 56 年未解的难题，证明 AI 已能自主推进数学前沿，值得点开看看具体怎么做到的。

数学研究者和 AI 推理方向开发者值得关注——AlphaProof Nexus 用极低成本攻克了人类多年未解的难题，虽然成功率低，但证明了形式化验证路径的可行性，建议点开了解其技术细节。

官方账号Decoder@Matthias Bastian8 个信源在谈原文

这篇论文展示了 AI 在数学证明中的实际进展，做形式化验证或数学研究的团队值得关注——它把 LLM 从“讲故事”变成“可验证的候选生成器”，直接解决了幻觉问题。

rohanpaul_ai@rohanpaul_ai原文