OpenAI 这回玩了个大的，一口气甩出三份成果，数学、计算机、物理各一份，个个都是能进教科书的量级。
最炸的是计算机那份：指数时间假设，2001 年提出来的老古董，几百篇论文都拿它当“某问题不可能算得快”的地基。OpenAI 说自家模型 10 月 16 日把它证伪了，第二天用 Lean 形式化验证过，证明和手稿都扔上了 GitHub。按它的说法，3SAT 能在次指数时间里跑完。
有意思的在后头。核验这活儿，OpenAI 交给了谁？交给了当初提出这个假设的两个人，Impagliazzo 和 Paturi，再加 MIT 的 Ryan Williams。等于请原告来验被告的案子。三人随即发公开信，先把话撂清楚：参与不等于背书，这么大的结论得慢慢验；不签保密协议，不拿钱，还反手要求 OpenAI 公开全部原始数据、出钱办一场专门会议。OpenAI 全答应了。
数学那份也不遑多让：局部光滑猜想全维度证明，顺带把 Kakeya 猜想和 Stein 限制猜想也收了。物理那份更狠，四维量子场论的严格存在性证明，里头就含着千禧年大奖难题里的杨-米尔斯存在性，核验团队由 2004 年诺奖得主 David Gross 带队，而且人家选择先不公开 AI 的原始材料，自己重写一遍再说。
一周前 OpenAI 才因为一次性甩上百个数学结果被数学界骂“发推文做数学”，这次学乖了：发现归模型，背书归人类，而且背书的人有权说不。
所以这事儿最值得看的还不是结论对不对，而是这个新规矩能不能立住。AI 越来越能解难题，以后“谁来验”恐怕比“谁解出来”更值钱。万一 ETH 真倒了，几百篇论文的“不可能”都得重写，那场面，想想都刺激。