10月6日，OpenAI往GitHub上倒了一夜货：722篇数学手稿、372组结果，全部出自一个还没发布的内部模型，仓库谁都能看。平时靠ChatGPT写周报的人第一次意识到：AI连定理都开始批量生产了。36氪微博
这批手稿里最扎眼的是两篇：一篇175页，直指四维挂谷猜想；另一篇97页，要在三维上再闯一关。36氪
挂谷猜想的起点其实很朴素：一根长度为1、没有粗细的针，在平面里掉头180度，最少要扫过多大面积？就这么个"针掉头"的问题，人类追了一个多世纪：去年2月，王虹与Zahl攻克三维版本，日前刚捧奖。OpenAI转头就宣称连四维也"解决"了。网友锐评：毕业课题被机器一夜证完，这谁受得了。36氪微博
数学界当场开火。人类数学协会发声明：一次性发布700多个文件不是学术成就，而是权力炫耀，“敦促数学家停止与OpenAI的合作”。网友说得更直白：不算科研，纯炫算力霸权。36氪微博
菲尔兹奖得主陶哲轩在博客转载了这份声明，很快被全网误传成"陶哲轩领衔宣战"——实际上他连协会的会员名单都没进。这个协会也很年轻：809名会员，大多是研究生。36氪
最好笑的一幕在后面。有人把这份抵制AI的声明丢进检测工具Pangram，结果显示：100%由AI生成。反AI檄文由AI起草，堪称整场争论最生动的注脚。36氪
但你也不能说数学家玻璃心，因为OpenAI自己的账先对不上：722篇里只有162篇的核心结果过了计算机验证；发布第二天就撤下3篇手稿——一处符号错误让核心论证失效，连带拖垮两篇依赖它的论文——另有14篇被修订。36氪
仓库README也提前打了预防针：未形式化的结果"可能存在问题"，承诺尽快修复。这正是数学家不适的根源：没有同行评审、没人签字负责的一堆"答案"，直接砸进了一个靠信任运转的学科。36氪
陶哲轩给这局面起了个精准的名字：“证明消化不良”——AI以工业速度生产证明，人类来不及验证，更来不及理解。36氪
理论计算机学者Moshkovitz一辈子研究唯一博弈猜想，打开文档发现已被AI"证明"，她评价那篇论文像"吃了致幻剂的人写出来的东西"。36氪
支持方也没沉默：OpenAI社区里有人重跑了准黎曼结果的机器验证，报告通过。所以真正的问题从来不是AI能不能帮数学——是能——而是一家商业公司单方面决定哪些数学问题"重要"、什么时候发布、发布什么。36氪
再往前看一层，商业算盘打得啪啪响：《金融时报》披露OpenAI截至9月底的年化营收约500亿美元，比此前广泛流传的700亿差了一截（涉及总额与净额口径之争），当日英伟达跌约2.9%。原定的年内上市计划，9月就以AI安全问题为由明确搁置。36氪36氪
同一时间，Anthropic的Claude还找到了困扰数学界一个多世纪的雅可比猜想的反例。比"谁更有用"太漫长，比"谁更聪明"立竿见影——数学难题，正在变成最硬核的性能营销。36氪
对普通用户，这事不远也不近：你手里的AI越来越能干，但下一个Moshkovitz可能就在你身边。下次AI自信满满告诉你"证明完毕"，记得先问一句——谁来验的？
