陶哲轩博客质疑OpenAI数学成果，社区启动修订
事件综述根据 4 篇报道整理，10月24日更新
OpenAI 于 2026 年 10 月 6 日公布 377 项数学结果，其中一项宣称证明了准黎曼猜想（黎曼猜想的较弱版本）。斯坦福大学数学家 Jared Duker Lichtman 称这是迄今 AI 用于数学最重要的成果，且领先幅度相当大。 陶哲轩博客随后刊出 Rikab Gambhir 的客座文章，批评 OpenAI 在 10 月初以营销为目的生成约 700 条晦涩难懂、可能为真的数学事实，把核实与理解的工作外包给数学界，并将其与博尔赫斯的《巴别图书馆》对比。 由 Abhinav Nellore、Johannes Schmitt、Soledad Villar 和 Rachel Ward 发起的 oai-math-revised 项目随后建立社区协作仓库，针对 OpenAI 数学文稿难以理解、引用不完整的问题进行修订，邀请学生、博士后、教授及爱好者参与，并征集管理员和审稿人。
综述由模型根据报道生成，细节以各篇原文为准。
进展时间线
北京时间，最早在上全部报道
4 篇，点开看摘要oai-math-revised：修订 OpenAI 数学文稿的社区协作平台
由 Abhinav Nellore、Johannes Schmitt、Soledad Villar 和 Rachel Ward 发起的 oai-math-revised 项目，旨在改进 OpenAI 数学文稿中难以理解、引用不完整的问题，并邀请学生、博士后、教授及爱好者参与。
阅读这篇报道OpenAI 宣称证明准黎曼猜想，数学家如何评价
OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中，有一项宣称解决了准黎曼猜想，即黎曼猜想的一个较弱版本。斯坦福大学的 Jared Duker Lichtman 称这项新证明是迄今 AI 用于数学最重要的成果，且领先幅度相当大。
入选理由材料交代了 OpenAI 宣称解决准黎曼猜想及数学家对其分量的评价，可据此判断 AI 在数学证明中的位置。
阅读这篇报道AI狂飙之下，数学界该何以自处
科学网文章梳理2026年AI对数学研究的冲击：OpenAI于9月8日称其未公开模型调动约一万个智能体、用88小时生成纳维-斯托克斯方程存在性与光滑性问题的证明手稿，10月6日又在GitHub公开722篇内部前沿模型生成的数学手稿，覆盖数论、几何、代数等17个领域，次日因一处符号错误撤回3篇涉及霍奇猜想的手稿，手稿总数降至719篇。
阅读这篇报道陶哲轩博客刊文质疑 OpenAI 数学成果：我们究竟在做什么？
Terence Tao 博客刊出 Rikab Gambhir 的客座文章，讽刺 OpenAI 在 10 月初以营销为目的生成约 700 条晦涩难懂、可能为真的数学事实，并把核实与理解的工作外包给数学界。文章将其与 Borges 的《巴别图书馆》对比，称其 722 篇写作文稿远超物理学界近期的 2500 篇，却无人能读懂。
阅读这篇报道