发生了什么
DeepMind 发表 9 个 Erdős 问题求解
为什么值得关注
这条内容新增了“9 个开放问题”和“492 个 OEIS 猜想中 44 个被证明”两个具体量化结果，并透露了 LLM+Lean agents 的自动化工作流，值得点开原帖核对具体题目与证明方式。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
AI 解出 9 个开放数学题
原帖称，AI 已经解决了 9 个开放数学问题，其中一些题目已有 50 年历史，并且证明了 OEIS 的 492 个开放猜想中的 44 个。引用的转帖补充称，这是 DeepMind 团队完成的 9 个 Erdős 问题求解，流程是由 LLM 与 Lean agents 自主工作，只有在形式化验证通过后才进入人工审查。
打开原始来源 ↗