2026年9月8日，OpenAI发布声明，宣称其AI仅用88小时就攻克了困扰人类90多年的数学难题，随后把165页论文直接扔进GitHub而不投期刊。10月6日，它更进一步，公开722份数学手稿，宣布解决了包括「准黎曼猜想」在内的数百个问题。这场被数学圈称为「核弹雨」的发布，换来的不是集体祝贺，而是陶哲轩联合多位菲尔兹奖得主的公开抵制，以及一场持续到11月的争论：这到底算不算解决了一个数学问题？《人物》知乎
答案并不在「AI行不行」这一层，而在数学界自有一套验收标准：一个命题要被认定「已解决」，必须同时过三关——证明的就是那道题本身；证明能被人类读懂并消化；经过同行评审正式发表。拿这套尺子去量，OpenAI这一串高调发布，几乎在每一关都卡住了。争议的本质不是人类拒绝承认机器算得对，而是「解决」这个词在数学里从来不只是给出正确答案。
数学界说的「解决」，到底在验收什么
第一关最朴素，也最容易被标题绕过：你解决的必须是被公认的那道题。克莱数学研究所2000年把NS方程列入七大千禧年难题，每道奖金100万美元，要求正式发表并接受数学界检验，至今七道题里被正式认定解决的只有庞加莱猜想。而按克雷研究所官方给出的命题陈述，NS千禧年问题被拆分成多种情形，OpenAI拿出的结果是「在流体上加一个持续、平滑的外力后，能出现有限时间爆破」——这是重大成果，但它回答的问题和千禧年大奖最核心那一问，并不是同一道题。「准黎曼猜想」是同一逻辑：OpenAI把ζ函数无零点区域的边界一步推到θ=7/8，量级足以写进教科书，但黎曼猜想要的是实部1/2这条线，准确的说法是准黎曼猜想取得重大进展，不是黎曼猜想被解决。微博知乎知乎
第二关在人的理解这边。国际数学联盟背书的《莱顿宣言》里有一条近乎苛刻的原则：一个人类无法读懂的证明，对数学共同体而言等于不存在。这不是修辞。数学史里伟大定理之所以伟大，不是因为它「被证出来了」，而是它催生了下一代方法；AI能写出证明却给不出「它是怎么想的」，共同体就少了可以继续往上爬的台阶。科普端对此有一个被反复引用的概括：产出证明≠完成数学。知乎哔哩哔哩
第三关是程序。GitHub发帖不是发表，arXiv预印本不算通过同行评审，只有经过评审刊在正规期刊、被学界消化过的成果，才是评价体系认可的硬通货。《莱顿宣言》强调数学成果应继续通过同行评审渠道发表，博客等渠道只能起辅助作用。三关合起来，数学界对「解决」的认定标准可以压缩成一句话：命题对得上、人读得懂、程序走完了。
88小时、722篇、连续反转：每一关是怎么卡住的
按OpenAI自己的说法，9月1日前后他们听说有人可能在千禧年难题上接近突破，随即启用未对外的内部模型，调集约1万个AI Agent集中进攻NS方程，几天后宣布拿到证明。争议从优先权开始：纽约大学数学家Buckmaster和Anthropic研究员Alpöge沿着外力这条冷门路线研究了近一年，他们的草稿和推导长期放在OpenAI Codex里辅助研究，OpenAI却抢在他们发表前宣布结果，并否认查看过特定用户私人数据、同时不排除去标识化数据曾帮助改进模型。这一段至今没有司法或学术机构的定论，但它把「算力截胡人类」的恐惧第一次摆上台面。微博
10月6日的722篇发布，把三关的问题集中引爆。仓库开源第二天，OpenAI撤回了3篇手稿，原因是符号写错导致论证失效——连自家论文都没过人工审读。10月10日，批评文章把矛头指向NS的Lean形式化验证：机审通过不等于证对了原题——手稿里控制高频的核心引理在Lean代码中消失，代码反而多出原稿没有的能量级联不变量，被形式化验证的定理与手稿命题并不等价。到了11月6日，NS事件又迎反转：最初的方法描述受到修正，研究路线、署名与验证方式都受到重新审视，这既不自动等于证明被推翻，也远不等于认定成立。知乎知乎知乎
规则正在重写：数学界要的不是封杀AI，是责任可追溯
数学共同体的反应不是抗议式抵制，而是把认定标准写成可审计的条款。6月2日，《人工智能与数学莱顿宣言》在荷兰莱顿正式发布，发布者为国际数学联盟（IMU），两周内已有2411名数学家签署。它对研究者的要求是：论文增设工具使用说明、AI不得署名、人类作者对全部结论承担完全责任；对机构的期待则包括建立独立于企业的公共数学平台、保护论文不被无偿用于模型训练。换句话说，正确性之外，署名、责任与披露一个都不能少。知乎
数学界内部同样不是铁板一块：陶哲轩公开批评AI公司把解题当基准测试，犹如抛出「有毒废料」。但11月，他又在Nature撰文称，即使AI再强，数学也不会穷途末路。菲尔兹奖得主邓煜的态度更具代表性：他承认AI搞出的不少证明是重大数学进展，同时公开批评OpenAI「你不能只在你蒸馏全人类的知识时支持蒸馏」。知乎知乎知乎
反过来，支持AI的数学研究者也不满双标：人类解不出来时称之为难题，AI给出答案后又改口说这是低垂果实、解题不重要。哔哩哔哩
回到热榜标题上的问题。所谓「不算真解决」，不是数学界在否认AI的产出——θ=7/8的零点区域推进、外力情形下的NS爆破，都是真实的进展——而是这些结果目前仍停在「被承认有价值、未被认定完成」的中间态：命题归属要再对齐，Lean形式化要再过忠实性，证明要有人类读得懂的版本，发布要回到同行评审轨道。接下来值得盯住三个信号：722篇手稿是否会逐篇进入期刊评审；OpenAI传闻中覆盖约4000个问题的后续发布（未经证实）是否落地；以及每一个新结果后面，能不能附上方法和思路的人类可读解释。央视《AI玲距离》已经深入一线，独家对话风暴中心的数学圈。这场争论早就超出学术圈——谁来定义「算不算解决」，决定的是AI时代整个科学发现的信任机制。央视新闻
