跳到正文
K = 0.731
原文
论文The Decoder转述· Manuel Uth·· 5 天前精选

Google DeepMind 的 AlphaProof Nexus 在一项同行评审研究中解决了数十道未解数学问题

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

谁
Google DeepMind
引文
Google Deepmind's AI solved dozens of open math problems on its own, per a new study in Science .

发生了什么

据《Science》发表的一项同行评审研究，Google DeepMind 的 AlphaProof Nexus 解决了数十道未解数学问题，其中包括 353 道未解 Erdős 问题中的 9 道，有两道问题已有 56 年未能解决。它还证明了 44 个 OEIS 猜想，解决了一道未解的代数几何问题，并改进了一个极小极大优化界。该系统以 Gemini 3.1 Pro 为基础，使用 Lean 撰写并修订证明，并根据检查器的反馈进行调整；对于更难的子问题，它还可以调用 AlphaProof，不过 DeepMind 报告称，这 9 道 Erdős 问题是在未使用该工具的情况下解决的。

推荐理由

DeepMind 采用同行评审，使其研究能与 OpenAI 在 GitHub 上发布 AI 证明的做法进行具体比较；目前，关于如何评估 AI 数学能力的讨论仍在继续。

这件事到目前为止

Google DeepMind 在发表于《Science》的一项同行评审研究中报告称，其 AlphaProof Nexus 系统解决了数十道开放数学问题，其中包括 353 道尚未解决的 Erdős 问题中的 9 道，有两道此前 56 年一直未能解决。报告的结果还包括证明了 44 条 OEIS 猜想、解决了一道开放的代数几何问题，以及改进了极小极大优化的一个界。 AlphaProof Nexus 以 Gemini 3.1 Pro 为基础，利用证明检查器的反馈，用 Lean 起草并修订证明。它可以调用 AlphaProof 来处理更难的子问题，但 DeepMind 表示，在解决这 9 道 Erdős 问题时并未使用该工具。

Google / Gemini推理能力论文研究#论文/研究#推理#Google#DeepMind

继续阅读

最新日报 · 第 24 期NVIDIA 与 AI4Bharat 推出 Nemotron-pretraining-Indic-v1 及开放数据生成流水线

正在热议

  1. 1Meta 开放发布 Muse Spark Open，支持 Mac 和云端部署，位居美国开放权重模型榜首
  2. 2Google 在全球推出 Gemini 4 Argon，并扩大付费访问范围，基准测试结果不一
  3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
  4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议

明早 08:00 把这样一份日报发到你邮箱

和上面这份一样：几件值得看的事。免费，点确认信之后才会开始发送，每封信都能一键退订。 看一份往期日报 · 2026-10-17