2026年10月6日,OpenAI公布了377项成果,其中一项宣称解决了“准黎曼猜想”。作为黎曼猜想的弱化版本,后者被视为数学界最大的未解之谜之一。

斯坦福大学学者贾里德·杜克纳·利希特曼(Jared Duker Lichtman)评价指出,该证明是迄今为止“最重大的AI辅助数学成就,且优势显著”。