陶哲轩牵头抵制OpenAI，数学界集体宣战

数学界与OpenAI的矛盾彻底公开化。菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，全面抵制OpenAI，敦促所有数学家停止与其合作，重回以人类理解为核心的科学愿景。

事件导火索是OpenAI宣称解决千禧难题后，又一次性发布700多篇机器生成的证明文件。陶哲轩曾联合25位菲尔兹奖得主呼吁商业公司放慢脚步，但OpenAI未予理会。理论计算机科学家Scott Aaronson称此为“数学界的末日浩劫”。

AHM是由全球顶尖数学家自发建立的行业防线，宗旨是守护人类对数学本质的理解，防止学术规范被无节制算力摧毁。声明语气严厉，直指OpenAI正因非法抄袭、侵犯版权等指控身陷诉讼，并称“没人求过你们解这些证明”。

此前，OpenAI曾拉着普林斯顿高等研究院设立数学与人工智能咨询小组（AGMAI），宣称与数学界深度共建。但专家小组首份报告明确警告，前沿AI公司不应在内部模型上擅自测试高深数学难题。OpenAI充耳不闻，转头用内部模型刷了8000道题，抛出700份机器草稿。AHM声明称，这表明OpenAI对科学研究规范全然不屑，拒绝其所谓推动数学发展的说法。

公开数据显示，OpenAI测试约8000个开放数学问题，命中率约5%，平均解决一道高难度难题仅消耗3小时GPT-Pro级算力。Aaronson提到妻子Dana Moshkovitz的遭遇：她毕生研究“唯一博弈猜想”，而OpenAI文档竟宣称该猜想已被证明。Dana连夜看完后感到荒诞绝望，称“像吃了致幻剂的人写的东西”——逻辑混乱、堆砌先验结论、构造诡异，“没有AI辅助根本读不懂”。这些文件没有同行评审，没有可读的人类逻辑，更没有对前人工作的尊重。陶哲轩警告的“证明消化不良”正在全面爆发。

陶哲轩反复追问：证明难题就是数学的全部吗？传统上，重大猜想被攻克会催生研讨会、讲座与跨界合作，沉淀为教科书养分。如今，按下回车的人不懂证明，看证明的数学家被天书折磨，年轻学者因害怕被大模型截胡而不敢公开研究方向。陶哲轩称这种破坏为不可逆的污染：一个问题一旦被宣称解决，就再也回不到未解决状态，即使只是知道答案存在，也会污染其他可能带来更深刻洞见的研究路径。

早在2024年，陶哲轩还乐观认为人类仍是主导者，AI顶多像国际象棋引擎打下手。如今攻守逆转，AI负责攻克难题，人类沦为验算和整理笔记的工具人。

图灵奖得主杨立昆态度不同，他评论称：数学正迎来新时代，形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想。“船的发明降低了游泳的重要性，却让我们发现新大陆。”