OpenAI一次性放出722篇AI数学手稿 25位菲尔兹奖得主联名抵制

近日，OpenAI 在代码托管平台 GitHub 上一次性公开了 722 篇由人工智能生成的数学研究手稿，按 372 个“成果家族”归类，覆盖数论、代数几何、微分方程、理论计算机科学等 17 个研究方向，甚至触及准黎曼猜想等悬置百年的千禧年难题。这批成果来自一个尚未对外公开的内部前沿模型，它在短短数天内尝试解答了约 4000 个长期困扰人类的开放数学问题。

根据 OpenAI 披露，单份手稿平均消耗的算力约等于 ChatGPT Pro “思考” 三小时。部分证明附带了 Lean 形式化验证代码，可由计算机逐步检查逻辑漏洞，但并非所有结论都完成了机器核验。发布仅两天，OpenAI 就紧急撤回 3 篇手稿——其中一篇因一个负号的符号错误导致整篇论证崩塌，并连带拖垮两篇依赖它的论文——同时将十余篇内容修订，仓库总数从 722 篇降至 719 篇。该模型本身至今不对外开放，外界无法独立复现。

海量产出迅速引发数学界的激烈反弹。有学者抽样 30 篇数论成果，仅有 7 篇质量表现突出，真正通过机器核验的仅 1 篇。菲尔兹奖得主陶哲轩将这一现象称作“证明消化不良”：机器源源不断地产出证明文本，人类却来不及理解、校验与吸收。事件爆发前，25 位菲尔兹奖得主已联名发布《人工智能在数学中的严重错位》宣言，批评企业绕开传统同行评议流程，直接对外批量发布未充分核验的学术内容，打破了数学研究长期遵循的规则，并带来学术优先权纠纷、人才流向企业实验室等新问题。

国内学界也给出不同维度的思考。丘成桐表示，这既是机遇也充满风险，AI 是强大的聚合工具；中科院院士席南华指出，企业发布成果不受学术规则约束，新的行业共识需要产业与学界共同磨合建立，丘成桐数学与人工智能实验室联盟也顺势成立，推进 AI 辅助形式化证明研究。多位学者呼吁建立新规范：AI 产出成果应先完成核验评审，再向公众发布，以平衡技术突破与学术严谨。