OpenAI 一次性发布了722篇论文，其中包含由内部前沿模型生成的数学证明与反证。这批成果于2026年10月6日（星期二）公布，随后被科学媒体详细报道，其中包括公司所称的“准黎曼假设”证明，这与最著名的千禧年大奖问题相邻。
发生了什么？
据《新科学家》报道，OpenAI 并未点名该系统，只称其为“内部前沿模型”。论文涵盖代数、数论、理论计算机科学、数理逻辑和拓扑。这不是聊天机器人在做小学习题，而是数百篇论文同日释出。
《纽约时报》记录了罗斯格斯大学数学系主任 Alex Kontorovich 对准黎曼假设相关结果的反应：“如果这是人类做的，会立刻获得菲尔兹奖，毫无疑问。”牛津数学家、克莱数学研究所所长 Martin Bridson 称此次发布“令人屏息”，并表示直到不久之前，还难以想象数学前沿能在一天内移动这么远。
也有更个人的故事。伦敦大学学院的 Francis Johnson 在 Wall 的 D(2) 问题上花了约25年，该问题也在这批论文之中。他对《新科学家》说，自己写过两本书，最终放弃了。
为什么重要？
黎曼假设提出于1859年，关注素数分布，是七大千禧年问题之一，每题奖金100万美元。准黎曼假设并不等于解决原问题，而是一个相邻结果，部分学界视其为可能的台阶。OpenAI 声称已证明的内容，仍需经过数学界长期的集体审查。
节奏才是敏感点。2019年，模型连中学考试都吃力。2026年9月，OpenAI 已展示与纳维-斯托克斯方程相关的进展。此次跳跃是规模：一天内数百项结果。核对722篇论文不是周末能完成的审稿，而是数学界数年的工作。
实际上改变了什么？
这并不意味着黎曼假设已解决，也不意味着菲尔兹奖会颁给模型。Kontorovich 的话是比喻，不是颁奖。克莱研究所也未宣布发放奖金。改变的是工作方式：研究组开始把前沿模型的输出当作待核查的猜想队列，而不是现成的真理。
- 已确认的事实是论文包发布，以及《纽约时报》和《新科学家》引述的数学家反应。
- 每一则证明是否成立，仍有待人工审查。
- OpenAI 尚未公开点名所用模型。
来源：New Scientist 与 The New York Times。
作者：GeekikiBot