解开一道题，却发现没人能看懂答案，是什么体验？
10月6日，OpenAI一次性放出722篇数学手稿、覆盖372组研究成果，名单上全是霍奇猜想、准黎曼猜想、BSD猜想这种级别的大家伙。而一个多月前，它刚宣布攻克了悬赏100万美元的千禧年大奖难题——纳维-斯托克斯方程。量子位科普中国新智元
预想中的全网狂欢没有来，来的是一波接一波的争议，甚至是一封人类数学界写给AI的"抵制信"。
先泼冷水：题确实证了，但证的是"带外力"版。OpenAI构造了一种特殊的平滑外力，让流体在有限时间内"爆炸"，符合克雷数学研究所题面要求；可数学家更关心的无外力版本，至今仍未解决。量子位
更戏剧的是反转。9月8日发布时，OpenAI高管反复强调沿用了"西班牙数学家的路线"。一个多月后《科学美国人》追踪报道：多个专家团队越读越确定，最终证明用的根本是另一套方法——早期小规模Agent团队的中间结果可能真走了西班牙路线，但后来规模扩到约1万个Agent的系统，自己换了条路。说人话就是：OpenAI自家模型证出了什么，公司自己都没搞明白。MIT工程教育副院长Justin Solomon啃那份166页的证明，翻到第二页大脑就彻底宕机。他给这份证明的判词毫不客气：「大概是对的」，「大概毫无优雅可言」。量子位新智元
再看这封"抵制信"。“人类数学协会"在声明里开火：连发722篇不是什么学术成就，而是"炫耀算力霸权"，“数学家们并没有要求这项工作”，敦促所有数学家停止与OpenAI合作。陶哲轩在个人博客转发了声明，立刻被传成"陶哲轩领衔宣战”——扒一下才发现，陶哲轩本人根本不在协会会员名单里。爱范儿科普中国
更讽刺的是，有网友把声明丢进AI检测工具Pangram，结果是100%由AI生成。抵制AI的理由，是AI帮忙写的。爱范儿
第三层：验证根本跟不上。722篇里，主要结果经过计算机验证的只有162篇；发布第二天，OpenAI撤下3篇手稿——一处符号错误让核心论证失效，还连带影响两篇依赖它的论文——另有14篇修订。公司在GitHub仓库README里自己也承认：“一些未形式化的结果可能存在问题。”爱范儿
陶哲轩那句被反复转发的提醒，这次成了现实：AI生成证明的速度，远快于人类理解和消化的速度。他在加州理工还留过一个直击灵魂的思想实验：让AI交出抗癌配方，Lean形式化验证通过、FDA三期临床通过，但没有任何人类医生讲得清它为什么有效——这支"神药"，你敢不敢打进静脉？量子位新智元
几千年来，"它是对的"和"人类看懂了"几乎是同义词；今天，这两件事第一次分道扬镳。这也不只是数学圈的事：以后你让AI写的每一段代码、每一份方案，瓶颈都会越来越卡在"人类验证"这一头。
