10月26日，OpenAI宣布其内部模型在数学、计算机科学和物理学三个领域各取得一项研究成果，并正在尝试一种新的发布方式：不直接宣称“AI攻克了难题”，而是把原始材料交给外部专家团队去理解、核验和组织发布。这个姿态本身，比成果更值得聊——因为它承认了一个事实：AI产出结果，和人类理解结果，是两件不同的事。
数学那一项，瞄准的是30多年的老猜想
据OpenAI的公告，模型借助一种新型辅助偏微分方程，给出了适用于所有维度的局部平滑猜想证明，并由此解决了所有维度下的卡凯亚猜想和Stein限制猜想。局部平滑猜想由Sogge在1991年提出，讨论的是波在聚焦时的行为；二维情形在2019年被证明，三维卡凯亚猜想则在2025年解决。OpenAI称，AI输出于10月18日获得，次日形式化为Lean证明，随后公开在代码库中。注意这里的顺序：先有AI的自然语言论证，再有机器可验证的形式化证明，最后才是人类专家的消化——Lean证明如果无误，数学上的可信度会很高，但“人类真正理解它为什么对”，仍需要时间。
计算机那一项，直接挑战了一个被默认了几十年的假设
指数时间假设关乎判定布尔公式是否可满足的复杂度，数百篇论文曾以它为前提推导困难性结果。OpenAI称，系统证明了该假设不成立，AI于10月16日生成自然语言版反证，10月17日在Lean中完成形式化。牵头核验的团队包括最初提出该假设的学者，这是一个很聪明的安排：让“假设的提出者”来审查“假设的推翻者”，质疑会比祝贺更先到。如果这个结果站得住，它动摇的不只是一个猜想，而是建立在它之上的整批“困难性”结论的适用范围；如果站不住，Lean证明的公开也让学界能最快找到漏洞。
物理那一项，和前两项的发布方式都不一样
OpenAI表示，物理学领域的成果同样交由外部协作团队推进，并由团队决定材料的发布方式，而不是由公司单方面定稿。这种“分而治之”的发布策略，背后是四项原则：透明，不签保密协议，参与者可以公开讨论；不争学术荣誉，OpenAI不为模型取得的发现争取荣誉；认可，团队因产出的理解和文稿获得认可；独立，参与完全自愿且无偿，成员只对自己的结论负责。说白了，OpenAI在试验“AI负责发现，人类负责负责”。
写在最后
这三项成果现在最准确的定位，不是“AI已经取代数学家”，而是“AI已经能产出需要数学家花大力气去验证的东西”。这恰恰是科研范式变化的起点：以前的瓶颈是“想不出来”，以后的瓶颈可能是“验证不过来”。谁先建立起“AI产出—机器验证—人类理解”的流水线，谁就先拿到下一轮科研的入场券；但任何把“AI声称证明”直接当成“定理已成立”来传播的做法，都是在帮倒忙。
