DeepMind 发表 AlphaProof Nexus 数学成果论文
热点事件持续更新
DeepMind 发表 AlphaProof Nexus 数学成果论文
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
据 The Decoder 报道，Google DeepMind 在 Science 发表经同行评审的研究，其 AlphaProof Nexus 系统解决了 353 个开放 Erdős 问题中的 9 个，其中两个已悬而未决 56 年，并证明 OEIS 整数序列数据库中的 44 个猜想。这些结果为 DeepMind 自行报告，形式化证明经 Lean 检查。 系统以 Gemini 3.1 Pro 为核心，用 Lean 形式语言起草和修改证明，每次编辑后由 Lean 检查并反馈错误；困难子问题可调用 AlphaProof。DeepMind 称即使不调用 AlphaProof，系统也能解出这 9 个 Erdős 问题。
AI 根据报道生成 · 52 分钟前更新
最新进展10月12日 17:35
Google DeepMind的AlphaProof Nexus攻克数十个开放数学问题并接受同行评审报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- The Decoder精选Google DeepMind的AlphaProof Nexus攻克数十个开放数学问题并接受同行评审
据《The Decoder》报道，Google DeepMind的AlphaProof Nexus在Science研究中解决了353个开放Erdős问题中的9个，其中两个已悬而未决56年，并证明OEIS整数序列数据库中的44个猜想。系统以Gemini 3.1 Pro生成和修改Lean形式化证明，每次编辑后由Lean检查并反馈错误，困难子问题还可调用AlphaProof；材料称该研究经过同行评审。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。