OpenAI在10月6日把722篇数学手稿一次性放上GitHub，全部出自一个尚未发布的内部模型，目录里躺着准黎曼猜想、霍奇猜想、BSD猜想和π的无理性指数。风波持续一周多，数学界给出的答案并不是"革命"或"危机"的二选一：几乎没有严肃声音否认这些结果值得一看，但截至10月13日前后的社区统计，这批手稿没有一篇经过同行评审，也没有任何人发布完整的独立核查报告。发布次日，3篇手稿就被撤回下架。知乎哔哩哔哩知乎
722篇手稿不是722个"已解决"的问题
这批手稿共归成372组结果。据OpenAI介绍，模型此前一共尝试了约4000个研究问题，平均每项结果消耗的算力，约相当于ChatGPT Pro思考3小时。知乎
名头最响的是所谓"准黎曼猜想"：手稿声称ζ函数和所有狄利克雷L函数在实部大于7/8的区域都没有零点——此前，数学家连实部大于0.99的一整条竖带里没有零点都证不出来。知乎
另一篇手稿声称把π的无理性指数从此前约7.1的最好结果直接压到理论最优值2；同批目录里还有唯一游戏猜想（UGC）、L等于BPL、Kaplansky猜想反例等结果。知乎知乎
但这些结论目前都停在"有待消化"的状态。OpenAI自报约42%的主要结果附有Lean证明——Lean是一种可以把证明翻译成机器语言、让计算机逐行检查逻辑的格式；即便如此，58%的顶层结果连机器校验都还没有过，OpenAI自己的README也写明，部分未形式化的结果可能存在问题。哔哩哔哩知乎
更麻烦的是，过了Lean也不等于万事大吉。10月6日当天，Bastounis等三位研究者发文指出，Lean编译通过只能证明那段形式化陈述为真，不能证明它和论文里的自然语言陈述是同一件事；他们检查OpenAI此前Navier-Stokes证明的Lean代码，发现代码实际证明的陈述比书面论文宣称的更弱，其中一个估计还改变了输入导数的阶数。具体到数字：论文写的是额外4阶导数即可完成估计，对应的Lean代码却用了更强的5阶条件，证明的是一个更弱的结论。知乎知乎
10月14日又出现新转折：OpenAI发布时反复把这条NS证明归到西班牙数学家提出的"Spanish program"路线，一个月后社区发现它实际走的是另一条构造——而在这之前，连OpenAI自己都没能完全解释模型的证明是怎么来的。知乎
抵制、背书与"只看对错"：三方真正在争什么
10月7日，一个叫人类数学协会（AHM）的组织发布声明，呼吁全体数学家停止与OpenAI的合作；陶哲轩把它转到了自己博客上。声明英文原文里最重的一句是：“Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power.”——一次性发布700多个文件，不是学术的展示，而是权力的展示。声明同时敦促数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。知乎知乎微博
需要先看清这个组织的分量：AHM今年8月才成立，成员大约800人，大部分是研究生，入会要求承诺不为商业AI公司提供数学服务，它并不是数学界的主流机构；陶哲轩本人也不在其会员名单里，只是以客座文章形式转发了声明。知乎
第二层声音来自OpenAI自己设立的顾问机制。由九位学者组成的数学与AI顾问组成员包括菲尔兹奖得主Timothy Gowers、Martin Hairer和理论物理学家Edward Witten，他们的声明承认这是数学界的一件大事，但同时澄清：给过建议，不代表认可这些结果，也不代表认可OpenAI产出成果的过程。而顾问组最初的立场恰恰是：前沿AI公司不应在内部模型上测试高阶数学问题——这次OpenAI恰恰无视了这条建议。知乎知乎
被简化成"带头抵制"的陶哲轩，论证其实比声明更细。他不是反AI——他是Lean的重度使用者，但9月在加州理工演讲时说，AI发展的速度"太疯狂了"，没有理由这么快。他在社交平台上给出的对比是：过去解决一个大猜想，会带来讲学、研讨班、新合作和年轻人，证明被一步步消化进教科书；现在问题被一群对领域本身毫无兴趣的使用者解完就走，无法回答追问。他最狠的判断是"一个被解决的问题，没办法变回未解决"，开放问题正在像庄稼一样被收割，而Math 2.0时代的数学界必须重新定义什么算进步——讲解、建立社区、开辟新方向要取代解出难题，成为新的评价标准。知乎知乎
第三方的反驳同样尖锐。陶哲轩那篇转发文章下获赞最高的评论来自署名geeksingularity的用户：数学从来不问一个结果是不是被别人要求的，数学只问它是不是对的；把声称的证明全文公开、让任何人能检验，恰恰是最暴露的姿态。务实派的另一句话是公开总比锁在保险箱里好，OpenAI也确实承诺出资办研讨会，帮助数学界研究这些成果。知乎知乎
两极之间还有更戏剧化的反应：看到OpenAI拿下纳维-斯托克斯方程相关结果后，菲尔兹奖得主Cédric Villani称这"简直跟世界末日一样，这是数学界有史以来从未见过的浩劫"。知乎
危机不需要等论文被验证为真
这场争论里，职业冲击已经有了具体的脸。复杂性理论学家Dana Moshkovitz从研究生时代研究UGC二十多年，OpenAI的这批手稿声称把它证明了——她当晚的吐槽是，这论文读起来"写得烂到没有AI辅助根本没法读"；这个星球上最有资格评价这份证明的人之一，现在要用AI才能读懂关于自己毕生工作的证明。知乎
她的丈夫Scott Aaronson把这一天称作Mathocalypse，数学末日。知乎
中文数学社区的从业者反应更日常。一位研究者说，自己决定暂时不再把中间结果挂出去、也不再"抽卡"（数学圈对碰难题的自嘲），先把OpenAI这批论文消化掉；他直言不担心自己两年内失业，但这"不是他一个人的问题，是整个行业需要共同面对的挑战"。另一位做几何的研究者则承认，对不属于自己的方向，他只能"让Claude跑了个总结，你让我看肯定是看不懂的"。这正是"读不过来"的真实含义：全球有能力逐篇读懂这些手稿的人，每个领域可能只有几百个，而且没有人给阅读和验证这些成果的工作发工资——证明生产的成本崩塌了，理解的成本原地不动，而数学界围绕"证明稀缺"建立起来的教材、教职、奖项和同行敬意的计分板，被算力直接掀了。知乎知乎知乎
对立并非没有预警。8月，OpenAI召集约40名数学家闭门讨论成果该怎么发布，西北大学数学家Bryna Kra等人希望得到写得清楚、能让同行阅读和引用的论文，部分与会者当时以为OpenAI不会一次放出所有成果，而OpenAI的回应是公司不清楚有过这样的承诺。更早的纳维-斯托克斯证明归属罗生门也还没平息：纽约大学数学家Tristan Buckmaster团队与Anthropic研究员Levent Alpöge公开流体方程爆破证明前后，OpenAI发布了同题结果，双方围绕研究进度和成果归属起了争执。而现在最让年轻一代寒心的连锁反应是：有前途的研究方向，大家不敢公开讨论了，怕被人拿AI抢发。知乎知乎
革命和危机各有各的时钟
所以回到标题的问题：“科研革命"还是"职业危机”，两者不是单选题，也各有各的时间表。革命目前是待定命题：0篇同行评审、发布次日撤稿3篇、过半结果未经机器验证、NS证明连归属路线都还在反转，顾问组已经把话说得很清楚——材料公开了，接下来该由数学家检查、讲解，再决定哪些结果真正能进入数学研究。而职业危机不等验证兑现：发布节奏、抢发压力、评价计分板这些变化已经真实发生，与722篇论文最终对多少并无关系。知乎
接下来真正值得盯的是三件事：这批手稿里有多少结果能通过独立核查、进入研讨班和教科书；OpenAI承诺的研讨会与形式化资助，能不能把"理解成本"降下来；以及陶哲轩提的那套转型方案——用讲解、建立社区和开辟新方向替代"解出难题"作为学术积分——能否落到发表与晋升制度里。这三个问题的答案出来之前，无论宣判"数学已死"还是宣布"数学界赢了"，都言之过早。
