数学界与人工智能巨头的矛盾彻底公开化。菲尔兹奖得主陶哲轩牵头成立的人类数学协会（AHM）发布联合声明，全面抵制OpenAI。OpenAI一次性甩出700多份文件，这已超越了科研范畴，沦为算力霸权的展示。声明强烈敦促所有数学家停止与OpenAI合作，回归以人类理解为核心的科学研究。
为何全球顶尖数学家一夜之间集体向商业模型公司宣战？OpenAI的激进行径是主因。此前OpenAI宣称解决千禧难题，陶哲轩便联合25位菲尔兹奖得主发出呼吁，希望商业公司能放慢脚步。AI公司无休止地加速却对后果知之甚少，必须慢下来。然而商业巨头并未理会。OpenAI随后直接甩出700多份机器生成的证明文件，令全球不少数学家大惊失色。理论计算机科学家Scott Aaronson将此形容为“数学末日浩劫”。
AHM作为全球顶尖数学家自发建立的行业防线，其宗旨是守护人类对数学本质的理解，防止学术规范被无节制的暴力算力摧毁。声明语气极其严厉，直击OpenAI痛处：这家公司发布的所谓证明，根本没人求过你们解。声明还回顾了OpenAI对AGMAI小组建议的置若罔闻——该小组曾明确警告前沿AI公司不应在内部模型上擅自测试高深数学难题，但OpenAI充耳不闻，反而用内部模型一口气刷了8000道题，将700份机器草稿砸在所有人脸上。声明指出，无视专家小组立场，表明OpenAI对科学研究规范全然不屑。
这700多份文件究竟有多离谱？数据显示，OpenAI用3小时的GPT-Pro级别算力解决了约5%的高难度问题。更令人震惊的是其内容质量。Scott Aaronson提到妻子Dana Moshkovitz的遭遇，她毕生研究的“唯一博弈猜想”被OpenAI宣称解决，但文档内容混乱、逻辑跳跃，如同致幻剂下的产物，充斥着人类从未见过的诡异构造。没有同行评审，没有可读的逻辑，更没有对前人工作的尊重。AI巨头试图让全球顶尖学者免费为他们当验题工具人。
陶哲轩此前警告的“证明消化不良”正在全面爆发。数学不仅是解题，更是传承。一个重大猜想被人类攻克，会催生研讨会、讲座，启发一代后辈。而现在，按下回车键的人根本不懂证明，负责看证明的数学家被天书折磨。OpenAI的工业化收割让问题一旦被宣称解决就永远回不到未解决状态，这种“不可逆的污染”阻碍了更深层的探索。很多年轻学者甚至不敢公开自己正在探索的方向。
面对AI的冲击，图灵奖得主杨立昆给出了不同的看法。他认为数学正迎来新时代，形式证明将大幅自动化，重点应转向发展新概念、新抽象和新猜想。就像船的发明降低了游泳的重要性，却让我们发现了新大陆。