10 月 27 日，OpenAI 把三份研究结果摆上了桌：数学一份，计算机科学一份，物理学一份。三份东西的性质完全不同——一份是证明猜想，一份是推翻假设，一份是给出存在性。任何一个单拎出来都值得单独开一场发布会，凑在一条公告里，反倒让人不知道该先看哪个。更值得琢磨的，是这三件事被同时拿出来这件事本身。
三份声明，砸向三个学科
先拆开看。三份声明的分量、可验证性、以及它们各自动摇的东西，都不一样。
数学：挂谷猜想被推到了任意维度
挂谷猜想说的是这么一件事：一根单位长度的针在平面上转一圈，它能扫过的最小面积是多少。直觉上你会觉得总得有点面积，但挂谷在 1917 年给出的答案是，可以任意小。真正难的是后一层：如果要求针在转动过程中连续地扫过，并且对扫过的方式加一点局部光滑的约束，结论会不会变。这就是挂谷猜想的现代形式。
二维情形几年前就被解决了。三维在前不久刚被攻下，用的是王虹和 Joshua Zahl 给出的证明。这次 OpenAI 声明的口径是“所有维度”。从三维跳到任意维度，不是把数字改大那么简单——高维下管状邻域的几何结构会失控，原来的方法基本要重来。公告里还提到，这个证明顺带解决了斯坦因限制猜想。后者是调和分析里另一条独立的线，跟挂谷猜想纠缠了几十年，两个问题经常互为工具。一份证明要是能把两条线同时剪断，体量不会小。
计算机科学：ETH 这根柱子被抽掉
指数时间假设（ETH）是复杂度理论里最硬的几根柱子之一。它说的是：不存在能在 2 的 o(n) 次方时间内解出 CNF-SAT 的算法。这个假设本身没被证明过，但大量结果都建立在“它成立”之上——只要 ETH 是真的，一大票问题就不可能有显著更快的算法。
反过来，推翻 ETH 只有一种方式：真拿出一个更快的算法。公告说 OpenAI 给出了这样一份证明，并指出相关计算任务可能存在更快的算法。这里要分清两件事：证明 ETH 不成立，和真的把那个算法跑起来，中间还隔着一大截工程问题。但对理论计算机科学来说，只要前一步站得住，后面的版图就要重画。很多“已知最优”的复杂度下界会当场作废，一批研究生的论文选题也会跟着作废。
物理学：杨-米尔斯，只解决了一部分
杨-米尔斯存在性与质量间隙，是克雷研究所七个千禧年难题之一。它要的是：在数学上严格地构造出四维杨-米尔斯量子场论，并证明存在一个大于零的质量间隙。物理学家早就把这件事当成理所当然在用，可数学上一直没建立起来。
公告的措辞很讲究：说的是量子色动力学及标准模型一种统一完备化的严格存在性证明，并且明确写成“涉及杨-米尔斯千禧年难题的一部分”。一部分，不是全部。存在性和质量间隙是两个独立目标，拿到前者不等于跨过后者的门槛。这种措辞上的克制，反而是三条公告里最值得信任的一处信号。
真正扎眼的，是它们被摆在一起
三个学科，三份结果，一天之内。真正让人坐不住的不是哪一条，而是这件事发生的方式。
从“帮我想”到“给你看结果”
过去两年，AI 在数学上的角色基本是助手：帮忙检索文献，补一个引理，检查证明里有没有跳步。这类工作有用，但产出物还是碎片。这次不一样——三份声明交出来的都是完整结论：一个证明、一个推翻性构造、一个存在性论证。它们各自都能独立成立，不需要人再补上最后一块。
变化就在这里。碎片的可信度靠人来兜底，完整结论的可信度要靠同行来审。前者一天之内能判断，后者可能要一年。OpenAI 把球踢过了网，但对面接球的人还没站好位置。
验证成本，正在变成新的稀缺品
三份声明里，数学那份的验证链条最长。挂谷猜想全维度的证明如果按传统论文的篇幅算，可能上百页；斯坦因限制猜想再叠上去，审稿周期以年计。物理那份更麻烦，构造性量子场论本来就只有极少数人熟悉。公告发出之后，真正的瓶颈已经从“能不能做出来”转移到“谁来验”。这个问题在 AI 参与数学之前就存在，现在被放大了一个数量级。
假设都成立，冲击先落到哪
先把“如果”放一边，按最乐观的剧本走一遍。
算法研究的坐标系要被重画
ETH 一旦被推翻，连锁反应很直接。现在说“这个问题做不到更快”的论文，条件句都要重写。参数化复杂度和细粒度复杂度这两块受影响最大，因为它们大量把下界挂在 ETH 上。更微妙的是心理层面：过去二十年，复杂性理论的主流方向是证明做不快，接下来可能要多开一条线，去证明能做快。
同行评议会被推到台前
数学界的运转方式，建立在少数专家花几个月读一篇论文上。AI 一旦开始批量产出完整证明，这套机制就会堵住。顶刊的审稿队列、预印本平台的筛选、会议的程序委员会，都得重新设计。已经有人在试“用证明助手做形式化验证”这条路，Lean 生态这几年扩张得很快。这次的三份结果，很可能成为那条路线从备选变成必选的转折点。
先别急着把奖颁出去
公告之外的空白
素材里没有给出证明的公开地址，没有说明是否已经提交同行评议，也没有第三方数学家对证明思路的独立解读。这三样缺任何一样，“已经解决”的说法都要打折扣。历史上不是没有过类似的场面：2018 年有人宣布证明了黎曼猜想，最后不了了之。宣言和结论之间隔着的，是审稿人。
能力边界，和声明的边界
还有一层要区分：模型做到什么程度，和公告说模型做到什么程度。三份结果放在同一条公告里，天然会互相借势，数学那份的信誉会溢到物理那份上去。看这类消息，最稳的办法是把每一条单独拎出来，问三个问题：证明在哪、谁验过、验到什么程度。三个问题都有答案，再谈影响。
回到最开始。10 月 27 日这天真正被记录下来的，可能不是哪一个猜想被解决，而是AI 交出完整科研成果这件事第一次以如此密集的方式出现。这句话的重量，要等审稿人落笔才能称出来。在那之前，先把链接找出来。
