⌘ K
… 读取采集状态 同步中...
雷
热点事件持续更新

DeepMind AlphaProof Nexus 解决开放数学难题

2 篇报道2 个报道来源13 小时前更新

先了解这件事

AI 综述

2026年10月12日，多家媒体报道 Google DeepMind 的 AlphaProof Nexus 系统在数学领域的最新进展。该系统基于 Gemini 3.1 Pro，独立解决了 353 个开放 Erdős 问题中的 9 个（其中 2 个悬置 56 年）以及 OEIS 数据库中的 44 个整数序列猜想。AI HOT 报道称这些成果已提交同行评审；而 The Decoder 报道指出相关研究已在《科学》杂志发表。所有证明均通过 Lean 形式化语言验证，利用该语言检查错误并指导修订。报道还指出，这一正式发表与形式化验证的做法，与 OpenAI 直接在 GitHub 发布证明形成对比。

AI 根据报道生成 · 12 小时前更新

最新进展10月12日 17:35
报道强调 AI HOT 称成果已提交同行评审，The Decoder 则称已在《科学》发表，两者状态描述不一致。

报道时间线

沿着报道，了解事件的不同侧面。

10月12日
  1. AI HOT精选
    AlphaProof Nexus 独立解决 9 个未解 Erdős 问题并获同行评审

    Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年，相关成果已提交同行评审。该系统基于 Gemini 3.1 Pro，利用形式化语言 Lean 检查证明错误并指导修订，同时证明了 44 个 OEIS 整数序列猜想。

  2. The Decoder精选
    Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审

    Google DeepMind 的 AI 系统 AlphaProof Nexus 自主解决了数十个开放数学问题，相关研究已在《科学》杂志发表。该系统基于 Gemini 3.1 Pro，解决了 353 个开放 Erdős 问题中的 9 个，以及 OEIS 数据库中的 44 个猜想。研究通过 Lean 形式化语言验证证明，并经过同行评审，区别于 OpenAI 直接在 GitHub 发布证明的做法。

本事件热度走势

当前热度 14·可比范围峰值 20（10月12日 18:00）·近 24 小时可比范围变化 –

0510152010月12日18:0010月12日22:0010月13日02:0010月13日06:00

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。