DeepMind 的 AlphaProof Nexus 据称解决 9 个 Erdős 开放问题
精选理由
DeepMind 用 Gemini 加 Lean 复现了 9 个悬置几十年的 Erdős 问题，数学机器证明这波真能打，快看看怎么做到的。
DeepMind 的 AlphaProof Nexus 据报道解决了 9 个开放 Erdős 问题和 44 个数列猜想，其中两个问题悬置超过 50 年。该系统将现有 Gemini 模型与一个更简单的 Gemini 循环结合。团队通过 Lean 形式化验证复现了全部 9 个 Erdős 问题的求解结果。
原文 · kimmonismus
Google strikes back: DeepMind’s AlphaProof Nexus reportedly solved 9 open Erdős problems and 44 number-sequence conjectures, including two problems unanswered for over 50 years.
DeepMind’s AlphaProof Nexus combines existing Gemini models and a simpler Gemini loop; using Lean reproduced all nine reported Erdős successes. Via Daily Star
