AI 证明准黎曼猜想,数学家称影响「惊人」

2026.10.20 · 事件 · AI 事件 · 媒体报道

OpenAI 宣布的准黎曼猜想证明已被人类专家解读,结论远超预期。

2026 年 10 月 6 日,OpenAI 公布 377 项成果,其中一项声称解决了黎曼猜想的弱化版本「准黎曼猜想」。斯坦福大学的 Jared Duker Lichtman 称其为迄今最重要的 AI 数学成就,纽约大学的 Maksym Radziwiłł 表示其影响「惊人」,因为黎曼猜想的大部分推论已可由准黎曼猜想推出。

  • OpenAI 于 2026 年 10 月 6 日公布 377 项成果
  • 其中一项声称解决准黎曼猜想,即黎曼猜想的弱化版本
  • 证明未引入新概念,而是综合了已知想法
  • 黎曼猜想已悬置超过 160 年,是数学最大开放问题
  • 数学家已数值验证前 12 万亿个非平凡零点位于 1/2 线上

为什么值得看

AI 数学证明首次被人类专家完整解读,影响深远。

适合谁关注

关注 AI 与数学交叉进展的研究者和从业者。

原始来源