OpenAI一次性公开722篇AI生成数学手稿，丘成桐等数学家回应冲击

当地时间 10 月 6 日，OpenAI 在 GitHub 上一次性公开了 722 篇由内部前沿模型生成的数学手稿，归入 372 个结果族，覆盖数论、几何、代数与理论计算机科学等多个领域，其中不乏长期困扰数学家的著名开放难题。

据仓库说明，OpenAI 用同一个尚未公开发布的内部模型，把评测从已饱和的基准题扩展到开放研究问题，期间模型被问了约 4000 道题目，单条结果平均消耗约相当于 ChatGPT Pro 思考 3 小时的算力。部分手稿附带了 Lean 形式化证明——一种可让计算机逐行校验推导是否合法的格式，相当于把一部分验证工作从人眼转移到机器。

OpenAI 自己点名了两个例外：一是黎曼 zeta 函数无零点区域的工作，二是 CM 阿贝尔簇上的霍奇猜想（霍奇猜想为千禧年七大难题之一）。公司表示，zeta 函数那篇的写作文本经过了人工编辑以提升可读性，未形式化的结果也可能存在错误，将尽快修正。

这一发布在数学界引发激烈讨论。10 月 11 日清华大学丘成桐数学与人工智能实验室联盟成立仪式上，中国科学院院士、中国数学会会长席南华指出，企业不受学术规则约束，成果无需经过同行严谨核验，甚至允许错误流出，给数学界带来巨大冲击；但他也表示不必陷入焦虑，数学界完全可以与 AI 产业界共同建立一套各方接受的规则。

与此同时，由 Timothy Gowers、Martin Hairer、Edward Witten 等数学家自发组成的独立顾问组提醒：公开发布只是第一步，它不等于人类已经理解这些结果，也不等于它们已融入数学知识体系。未来数学研究不能只由 AI 产出的结果组成，数学家仍需提出自己的问题、发展自己的方法。