这两天数学圈炸了。

10 月 6 日，OpenAI 在 GitHub 一次性甩出 722 篇 AI 生成的数学手稿，声称在 372 个数学问题上取得了进展，涵盖数论、几何、代数和理论计算机科学。作者栏只有一个词：OpenAI。

结果不到 24 小时，自己先撤回了 3 篇——原因说出来有点荒唐：一个正负号写错了。📌 事件：陶哲轩领衔转发"人类数学协会"声明

菲尔兹奖得主陶哲轩（公认最接近"神"的在世数学家）转载了人类数学协会（AHM）的一份联合声明，措辞非常重："一次性发布 700 多份文件，展示的不是学术研究，而是权力。"并敦促数学家停止与 OpenAI 合作，回归"以人类理解为核心"的科学愿景。注意，陶哲轩是转发背书，不是起草人，但这份声明的分量正来自他的站台。⚠️ 撤回案例：一个 +1 写成 -1

被撤回的 3 篇都和霍奇猜想有关。其中一篇在一处关键论证里，把几何操作的符号记成了 +1，而按论文自己的约定应该是 -1。

一正一负，导致一个本该归零的计数变成非零，后面整套构造随之崩塌，连累两篇依赖它的论文一起撤。OpenAI 自己承认：还修订了 14 篇，更新了 13 篇引用。

更关键的是——这 722 篇里，只有约 22% 的主结论经过了 Lean 形式化验证。没形式化的部分，目前只能叫"声称"。

🔑 陶哲轩的核心焦虑：证明"消化不良"他有个很妙的比喻。数学证明的正常生命周期有 5 步：提出解答 → 机器验证 → 阐释成能看懂的语言 → 同行评审消化 → 写进教科书

AI 现在疯狂加速前两步，但后面三步（理解、消化、正典化）几乎是零。"我们突然造出一大堆证明，它们甚至被验证是对的，但没人看得懂，没人在发表，也没人讲解。"他把这叫 Proof Indigestion（证明消化不良）。

还有更狠的一句话：一个问题一旦被 AI 声称解决，就再也回不到未解决的状态——它会"污染"其他可能带来更深刻洞见的研究路径。这叫"不可逆的污染"。

⚔️ 冲突核心：算力霸权 vs 人类理解一边是 OpenAI：3 小时 GPT-Pro 算力，就能碾碎一个学者数年甚至一生的积累。一边是数学家：担心理解权被剥夺、归属权混乱、年轻学者不敢公开方向怕被截胡。但另一边也有人反对"悲观论"。图灵奖得主杨立昆（LeCun）就说：恰恰相反，数学正迎来新时代。形式证明将大幅自动化，重点转向发展新概念、新抽象、新猜想。"船的发明降低了游泳的重要性，却让我们发现新大陆。"

💡 我的判断这不是"AI 会不会取代数学家"的科幻题，而是当下正在发生的学术伦理题：当验证速度远低于生成速度，谁来判断真假？当署名只有一个词"OpenAI"，贡献归谁？当论文多到人类根本读不完，知识还是人类的吗？AI 不是毁掉科学，也不是拯救科学——它正在逼科学重新定义"什么是理解"。

你觉得 AI 批量刷论文，是在毁掉还是拯救科学？评论区聊聊。