AI 声称证明准黎曼猜想后，数学界面临什么

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