这两天，"陶哲轩带头宣战、数学界全面抵制OpenAI"刷了屏。但刷屏文章大多没提：发抵制声明的那个组织，会员名单里根本没有陶哲轩——他只是把声明转载到了自己的博客上。爱范儿知乎
仗是怎么打起来的
10月6日，OpenAI在GitHub上一次性公开722份机器生成的数学手稿，整理成372个成果组，触及的全是现代数学的核心前沿难题。其中最大的一份175页，直指四维挂谷猜想——王虹和Zahl去年刚证完三维的那个题目。荔观lab新智元
按OpenAI方面的说法，内部模型批量测试了数千个开放数学问题，平均解决一道高难度难题，只消耗3个小时的GPT-Pro级别算力。三小时算力，碾过学者一生的积累。理论计算机科学家Aaronson给这天起了个名字：数学末日（Mathocalypse）。量子位
最扎心的例子是他妻子Moshkovitz：她把学术生涯押在"唯一博弈猜想"上，一觉醒来发现OpenAI的文档里宣称它"已被证明"。连夜读完，她只剩荒诞——“像吃了致幻剂的人写出来的东西”，逻辑跳跃人类看不懂，没有同行评审。荔观lab
抵制方的槽点
刷屏的声明来自"人类数学协会"（AHM），2026年8月才成立，成员大约800人，大部分是研究生。入会承诺相当决绝：不给AI公司提供咨询、不发表AI生成的数学文本、研究中不用AI模型。知乎
但最行为艺术的一幕是：有人把这份反AI声明丢进AI检测工具Pangram，发现检测结果是100%由AI生成。至于"陶哲轩领衔"的说法也站不住——他不是AHM会员，只是在博客转载了声明。爱范儿
不过陶哲轩真正的担忧要深得多：一个问题一旦被宣称解决，就再也回不到"未解决"的状态，这是"不可逆的污染"；AI工业化量产证明、人类来不及验证吸收，这是"证明消化不良"。量子位
OpenAI这边也不干净
722份手稿里，只有162篇论文的主要结果经过了计算机验证。发布第二天就撤下3篇——一处符号错误让核心论证失效，连带两篇依赖它的论文；另有14篇被修订。官方GitHub README自己承认：一些未形式化的结果可能存在问题。爱范儿知乎
事先并非没有预警。普林斯顿高等研究院主办的咨询小组AGMAI，第一份报告就明确划线：前沿AI公司不应该在内部模型上擅自测试高深数学难题。OpenAI没理，转头就把这批手稿砸了出来。量子位
背后是商业账：9月奥特曼搁置了上市计划。10月初又传出年化营收约为500亿美元、低于此前市场预期的700亿美元，AI概念股应声跳水。而前几天，竞争对手Anthropic刚用Claude找到雅可比猜想的反例。这个节骨眼上，批量制造"解决世纪难题"的故事，成了最便宜的性能营销。荔观lab
普通人该看什么
图灵奖得主杨立昆给了相反的判断：数学正迎来新时代，形式证明将大幅自动化，重点会转向提出新概念、新猜想——船的发明降低了游泳的重要性，却让我们发现新大陆。多伦多大学教授Litt说得更直白：数学的目标不是生产论文，而是产生理解。真正在改变的，其实超出了数学圈：成果的生产成本暴跌，但验证和理解的成本一分没降。这种不对称，不只发生在数学证明里，也发生在你每天刷到的每一条AI生成内容里。量子位荔观lab
所以下次再看到"AI攻克某某世纪难题"的标题，先问三句：验证了吗，撤回过吗，有人看懂了吗。
