10月7日，菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩，在个人博客转载了“人类数学协会”的声明：批评OpenAI无视数学界研究规范，呼吁数学家停止与其合作。导火索是OpenAI的大规模“输出”——一口气发布722篇数学手稿，内部模型尝试解决约4000道数学问题，整理出372组成果，还公开了部分形式化证明代码。数量空前，数学界却一片哗然。
“AI能解4000道题”，这数据本身就漂亮得可疑——可这个漂亮，恰恰是问题最隐蔽的地方。
39元买到五斤核桃油，破绽是价格假得离谱，你越觉得“假”，越容易被“助农”二字带偏；AI的破绽是正确得离谱，你越觉得“真厉害”，越容易忽略真正要紧的事不是“它解不解得对”，是“人还看不看得懂”。
骗子用“便宜”包装骗局，OpenAI用“成果数量”包装问题——数字越漂亮，越没人问一句：这些证明，人类消化得了吗？
陶哲轩给这种状态起了个名字：“证明消化不良”。AI能高速生成命题、证明和反例，人类却来不及验证、理解、教学和吸收，最后攒下一堆“无人能消化的证明”。解出的题是摆在那儿的，亏掉的是“理解”——数学延续几百年的开放科学传统，靠的从来不是谁算得快，是一代代人看懂、验证、传下去。
陶哲轩最担心的，是未来的数学家再也不敢公开自己的研究方向——比“解不出”更可怕的，是“没人懂了还在发”。答案有了，理解没了，这不是一篇文章的事，是几代人都补不回来的事。
“普通人该多学学AI，跟上时代”？把责任推给“人类不够快”，等于让AI选对了对手。更该算账的是OpenAI：它曾声称合法性源于“数学与人工智能咨询小组”，可这个小组最初的声明就写明——前沿AI企业不应利用内部模型对高级数学问题进行测试。
OpenAI无视自己咨询小组的核心前提，这叫什么？“数学家嫉妒AI、反应过度”？25位菲尔兹奖得主联名，全球最顶尖的大脑集体“矫情”，可信吗？更该问的是OpenAI：722篇手稿发布之前，验证在哪儿？评审在哪儿？同行评议在哪儿？你公开的到底是“成果”，还是“算力霸权”？
AI公司先收敛一步，剩下的账要这样算：OpenAI把“成果发布”改成“成果提交”，让数学研究进入人类可验证、可教学的流程——像论文评审一样设“消化期”，数学家看得懂，再谈传播；学界和期刊给AI成果设“人类可验证”门槛，看不懂的证明不叫“突破”，不配占头条；至于我们每个人——学生把AI当“助教”不当“代写”，先自己想，再让AI对答案、找漏洞，把“理解”这步留给自己。AI可以替我们算，不能替我们懂。
陶哲轩点名批评OpenAI，骂几句AI只是表面，真正的价值是提醒：“AI越来越快”不是问题，“人类懒得想”才是。下次AI再放出“重大突破”，还有人问一句“人看懂了吗”吗？——答案不该是沉默，该是我们这代人的底线：答案可以外包，理解不能。