事件持续更新
DeepMind AlphaProof Nexus 解出数十个开放数学问题
先了解这件事
AI 综述
Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题，相关研究发表在 Science 上并通过同行评审。该系统在 353 个 Erdős 开放问题中解出 9 个，其中两个已悬置 56 年；还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题，并改进了用于训练部分 AI 模型的 min-max 优化中的一个已知界。系统基于 Gemini 3.1 Pro，使用 Lean 形式化方法。
AI 根据报道生成 · 17 小时前更新
后续时间线
10月12日
- The Decoder精选Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题，并真正通过同行评审
Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题，相关研究发表在 Science 上并通过同行评审。该系统在 353 个 Erdős 开放问题中解出 9 个，其中两个已悬置 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题，并改进了用于训练部分 AI 模型的 min-max 优化中的一个已知界。它基于 Gemini 3.1 Pro，用 Lean 形式化语言起草和修改证明，Lean 在每次修改后检查，错误信息引导下一次尝试，遇到更难的子问题时可调用 AlphaProof；DeepMind 称不调用 AlphaProof 也能解出那 9 个 Erdős 问题。
相关讨论
关注度走势
每天新增来源
- 10月12日新增1个来源（1家媒体、0个账号）
- 10月13日新增0个来源（0家媒体、0个账号）