OpenAI在10月26日（当地时间）一次性抛出横跨数学、计算机科学、物理学的三项前沿成果，其中最出圈的一项，直指克雷数学研究所的千禧年大奖难题。先把状态摆准：这份被称作"证明"的成果，只覆盖千禧年问题的"存在性"这一半，另一半"质量间隙"没有碰——完整的题目同时要求证明四维杨-米尔斯规范场的存在性与质量间隙，这次声明只涉及前者。而且原始手稿并未公开、也未通过同行评审，OpenAI给三项发现各配了一支外部专家团队当"牧羊人"，由他们负责读懂、验证并决定材料怎么对外公开。所以这不是"AI解决了千禧年难题"，但它已经是"AI正在改变科学怎么做"——后者才是这个热榜问题真正该问的答案。界面新闻知乎36氪
证明的到底是什么
物理这条线的主体成果，是一个包含规范场与费米子的四维相互作用量子场论的严格数学存在性证明，覆盖量子色动力学（QCD）和一个把标准模型统一进来的"最小大统一理论"，纯杨-米尔斯理论的存在只是它的子推论；OpenAI强调，这项研究建立在数学家巴拉班留下的构造性量子场论框架之上，并明确把这些文稿定位为"原始研究数据"，而非已经定型、获得学界公认的结论。时间线上，OpenAI称模型9月9日产出杨-米尔斯存在性的自然语言证明，9月18日得到QCD证明，10月16日完成前者的形式化验证，10月26日对外公告。界面新闻
另一半的质量间隙，要求证明理论最轻的激发存在一个正的能量下界——用物理语言说，强力是短程的，胶子没法被无限远地"免费"辐射出去。这恰恰是1954年这套理论的出生缺陷：杨振宁和米尔斯算出了一个极其漂亮的结果，但按照他们的理论，世界上应该存在一种"有电荷却没有质量"的粒子，可自然界根本没有这样的东西；更早算出类似结果的泡利因此拒绝发表，杨振宁赌上一句"它真的是非常非常漂亮"选择发表。希格斯机制后来在物理上解决了质量从哪来，但"这套场论在数学上是否严格存在、有没有质量间隙"，一挂就是二十多年。
三项成果，三种发布姿态
OpenAI试验的这套"牧羊人"机制，本质是把发布权交给学者：让外部专家组织团队消化、核验结果，再决定成果怎么公开。而三支团队选了三种完全不同的方式，差异本身就是信息。知乎
调和分析（所有维度的局部光滑猜想，连带解决挂谷猜想与Stein限制性猜想）选的是立刻全公开：模型10月18日产出证明、次日完成Lean形式化，OpenAI已在公开仓库放出自然语言文稿与Lean证明，请学界自行组织验证。一个参照系：三维挂谷猜想2025年才由王虹与Joshua Zahl用127页论文攻下，王虹因此戴上2026年菲尔兹奖；这次AI一步推到所有维度，且据披露引入一个全新的辅助偏微分方程，绕开了人类打磨三十多年的多尺度波包路线。界面新闻知乎
计算机科学（证伪指数时间假设ETH）是材料公开、同时请猜想原始提出者Impagliazzo、Paturi与学者Ryan Williams领衔外部审查。ETH成立曾是数百篇论文推导条件性难度结论的前提，它若被推翻，意味着一批"算不快"的结论要重新评估、更快的算法可能存在——但从理论到实际性能，还有大量后续研究。界面新闻
数学物理（QCD与杨-米尔斯存在性）反而最保守：杨-米尔斯与QCD的成果，由格罗斯、Jaffe、Douglas、克莱巴诺夫、内克拉索夫组成的团队决定先自己重写消化，暂不公开AI原始手稿。知乎
为什么热度最高的那个反而压得最深？因为前车之鉴就在两个月前：9月OpenAI宣布攻克纳维-斯托克斯千禧年难题时，一份166页证明反复对外称沿用了两名西班牙数学家的研究路线，《科学美国人》的追踪报道里，专家确认模型实际采用的方法与之完全不同——用大模型给大模型"补课"读懂它，成了专家们的真实工作状态。这里还有个最容易误读的点：Lean逐行检查的是推理步骤是否符合逻辑规则，它不能保证前提的选取、数学动机和适用范围已被人类理解，验证通过不等于同行评审，机器可查不等于科学界已接受。在这个语境下，"压着手稿先重写"比"立刻开源"更接近科学常识。36氪
科研圈已经被重排了
热榜标题问"将如何"，过去三周的样本已经能回答。
最直观的是分工倒转。一道从Siegel悬到张益唐、卡了几代人的数论难题，Landau-Siegel零点排除问题被AI在10月初率先撞开之后，人类的活变成了读题、核验和改写：5天后密苏里大学数学家Banks把8页原证铺成19页详尽版，还把原证明里只知道存在的那个常数，算成了一个具体的数：0.003；再4天，澳大利亚数学家Kerr用鸽巢原理替换最繁琐的推导，砍到6页；公告前夕，格林-陶定理的共同证明人、牛津的Ben Green甩出5页重证，首页写下"本文不主张任何人类原创性"。Green今年6月刚拿下欧洲研究理事会的高级资助，4个月后约四分之三的研究目标被AI攻破，他的反应是"想法一点也不缺，正因为量级太大，压力反而没了"；而陶哲轩看到的是另一面：这些AI证明背后，没有一个人类能回答问题、做报告、带学生。36氪
其次是规则与署名权的重写。OpenAI这次主动把物理学成果的发布权交给专家组，并且承诺不索要这些发现的学术荣誉。陶哲轩10月24日在博客刊发四学者联名文章，邀请全球同行提交代码合并请求，替这批AI文稿补齐文献引用并重写推导过程；他同时直言，科技公司把解题当成基准测试、抛出大量缺乏深度洞见的证明，无异于丢下"有毒废料"让数学界收拾残局。菲尔兹奖得主邓煜点的是可追溯性：AI连思维链和参考材料都不提供，在学术伦理层面"极为荒唐"。学术评价的重心也在挪动，从奖励"谁先算出结果"，转向看重"谁能提出好问题、建立新框架"。界面新闻知乎
第三股力量来自科研圈自身的应激。一个由菲尔兹奖得主彼得·舒尔茨等学者参与的新组织"人类数学协会"（AHM）正在成形：截至10月26日的报道称，全球已有1008名数学家联名入会，立下的"军令状"是不给商业AI出半点力、不发任何一篇AI写出来的数学论文。其中654人进一步承诺，从选题、探索算例到提出问题全流程不用AI。撕裂的另一面，是AI的速度感足够压迫：两位研究者借助ChatGPT，把物理学家Barry Simon 2000年提出、悬置26年的一个猜想的反例推了出来，连人类作者自己都感到意外；9月，Anthropic宣布Claude算出N=4超对称杨-米尔斯理论中六粒子散射振幅的九圈结果，此前人类纪录停留在八圈。连投稿端都开始变形：有数学家提到，arXiv每天收到的AI证明文章太多，审查速率已明显降低。知乎微博知乎
接下来盯什么
证据覆盖到哪里，结论才能写到哪里。两项已公开的形式化成果（局部光滑猜想、ETH证伪）处于"等待学界独立评审"状态；杨-米尔斯存在性仍是"OpenAI宣称、已形式化、专家重写中"，质量间隙未解决，千禧年大奖不会据此颁发。若验证成立，这是构造性量子场论几十年来的最大事件之一；若被推翻，不过是给今年的AI科学"反转剧"再添一集。要盯的信号有三个：物理专家组何时公开重写版本、杨-米尔斯手稿是否进入正式同行评审、OpenAI后续公告会不会碰质量间隙。有参与讨论此事的学者判断，这些裁决可能要几个月才出。知乎
去年10月18日，杨振宁逝世。他1954年那场"漂亮但有硬伤"的豪赌，至今没等到一个完整答案——而OpenAI这次真正摆上桌面的问题，从来不是"AI是否解决了千禧年难题"：当机器先交出一份连它自己都还没被读懂的证明，科研圈如何把它变成科学知识。发布规则、署名伦理、验证流程、下一代研究者的培养，才是这场重塑真正的战场。
