DeepMind 智能体用 Lean 证明解 9 个 Erdős 开放问题
热点事件历史事件
DeepMind 智能体用 Lean 证明解 9 个 Erdős 开放问题
2 篇报道2 个报道来源5 天前更新
先了解这件事
AI 综述
Google DeepMind 团队发布论文，首次大规模评测用 LLM 生成 Lean 形式化证明求解开放问题的能力。其最强智能体自主解决了 353 个 Erdős 开放问题中的 9 个，单题成本为几百美元，并证明了 492 个 OEIS 猜想中的 44 个。 据 The Decoder 报道，该智能体名为 AlphaProof Nexus，相关研究发表于《Science》，独立解决的开放数学问题达数十个，其中两个 Erdős 问题已悬置 56 年。论文称该智能体正被用于组合数学、优化、图论、代数几何和量子光学研究。
AI 根据报道生成 · 5 天前更新
最新进展10月12日 17:35
Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并经过同行评审报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- The Decoder精选Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并经过同行评审
Google DeepMind 的 AlphaProof Nexus 在《Science》新研究中独立解决了数十个开放数学问题，包括 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年。
10月11日
- Hacker NewsGoogle DeepMind 用 LLM 智能体解决 9 个 Erdős 开放问题
Google DeepMind 团队在 arXiv 发布论文，对用 LLM 生成 Lean 形式化证明来求解开放问题做了首次大规模评测。其最强智能体自主解决了 353 个 Erdős 开放问题中的 9 个，单题成本为几百美元，并证明了 492 个 OEIS 猜想中的 44 个，正被用于组合数学、优化、图论、代数几何和量子光学研究。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 1310月12日 18:00
- 近 24 小时变化
- -51%
051015
10月12日10月13日10月14日
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。