热点事件持续更新
DeepMind AlphaProof Nexus 解决多道开放数学问题并经同行评审
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
据 2026 年 10 月 12 日 The Decoder 报道，Google DeepMind 的 AlphaProof Nexus 自行解决了数十个开放数学问题，相关研究已发表在《Science》上。该系统以 Gemini 3.1 Pro 为基础，在 Lean 中起草并修改证明，每一步均由 Lean 进行校验；遇到难题子任务时，可调用专用证明工具 AlphaProof。报道称，在独立运行条件下，系统解出了 9 个 Erdős 开放问题，研究亦通过了同行评审。这是目前该事件可查的最新进展。
AI 根据报道生成 · 2 小时前更新
最新进展10月12日 17:35
AlphaProof Nexus 研究登上 Science，称独立解出 9 个 Erdős 开放问题并通过审查。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- The Decoder精选Google DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 自行解决了数十个开放数学问题，相关研究发表在 Science 上。该系统基于 Gemini 3.1 Pro，在 Lean 中起草并修改证明，每步由 Lean 校验，难题子任务可调用专用证明工具 AlphaProof；独立运行时它也解出了 9 个 Erdős 开放问题。
本事件热度走势
当前热度 9·可比范围峰值 10（10月12日 18:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。