陶哲轩转发抵制声明！数学界向OpenAI“宣战”，AI时代谁说了算？

“一夜之间甩出722篇数学手稿，OpenAI本想秀肌肉，却把数学界彻底惹毛了！”

2026年10月，菲尔兹奖得主陶哲轩在个人博客转载人类数学协会（AHM）声明，呼吁数学家停止与OpenAI合作，引发全网热议。此前，他已与24位菲尔兹奖得主联名警告：AI公司把数学难题当“能力基准”，正在伤害数学本身。

争议核心：不是“会不会”，而是“算不算”

数学界愤怒的不是AI能解题，而是OpenAI的玩法太“野”：一次性发布722篇手稿，仅162篇经过形式化验证，发布次日就因符号错误撤回3篇。更关键的是，这些“黑盒证明”晦涩难懂，验证成本全甩给学术界。陶哲轩称之为“证明消化不良”——AI三小时生成，人类专家可能要花数周消化，还未必能确认对错。

深层焦虑：谁掌握数学研究的“方向盘”？

数学家们真正担心的，是商业公司用算力霸权重塑学术生态。OpenAI宣称88小时“攻克”纳维-斯托克斯方程，被质疑“截胡”人类研究者尚未发表的思路。当企业用内部模型批量“收割”开放问题，再把烂摊子丢给学界免费验证，数学研究的自主性正在被侵蚀。

未来走向：AI不会停，但规则必须立

这场博弈不会以“抵制”收场。图灵奖得主杨立昆直言：形式证明自动化后，数学重点将转向发展新概念。但数学界已明确底线——成果必须可理解、可追溯、可传承，AI发布需披露模型、提示词与算力成本。

AI与数学的磨合期才刚开始。技术狂奔时，别忘了数学的灵魂是“理解”，而非“答案”。