AI 精选动态
智能评分 72
AI 解出 9 个开放数学题
AI 推荐理由
这条内容新增了“9 个开放问题”和“492 个 OEIS 猜想中 44 个被证明”两个具体量化结果，并透露了 LLM+Lean agents 的自动化工作流，值得点开原帖核对具体题目与证明方式。核心解读
原帖称，AI 已经解决了 9 个开放数学问题，其中一些题目已有 50 年历史，并且证明了 OEIS 的 492 个开放猜想中的 44 个。引用的转帖补充称，这是 DeepMind 团队完成的 9 个 Erdős 问题求解，流程是由 LLM 与 Lean agents 自主工作，只有在形式化验证通过后才进入人工审查。