跳到正文

OpenAI 宣称证明准黎曼猜想,数学家如何评价

摘要

OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中,有一项宣称解决了准黎曼猜想,即黎曼猜想的一个较弱版本。斯坦福大学的 Jared Duker Lichtman 称这项新证明是迄今 AI 用于数学最重要的成果,且领先幅度相当大。

摘要由模型根据原文撰写,以原文为准。

入选理由

材料交代了 OpenAI 宣称解决准黎曼猜想及数学家对其分量的评价,可据此判断 AI 在数学证明中的位置。

正文 · AI 翻译

在 OpenAI 于 2026 年 10 月 6 日公布的 377 项成果中,有一项格外引人注目。它声称解决了“准黎曼假设”——黎曼假设的一个较弱版本,而黎曼假设可以说是数学中最大的未解难题。正如斯坦福大学的 Jared Duker Lichtman 所说,这项新证明“是迄今为止 AI 在数学领域最重要的成就,而且领先幅度相当大”。

来源


注意转载授权 · 阅读原文。中文正文为 AI 翻译,请以原文为准。

来源:Quanta Magazine · quantamagazine.org

引用原文

Konstantin Kakaes. AI Proved the Quasi-Riemann Hypothesis. What Happens Now?[EB/OL]. (2026-10-19)[访问日期]. https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/.