北京时间10月27日凌晨，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项重大突破，展现出 AI 独立发现并证明复杂科学理论的能力。 三项成果真正值得注意之处，不是简单的一句“AI解决了三道难题”，而是它们横跨了三种不同的智力活动。 OpenAI总裁Greg Brockman在官宣里写道，AI已经开始帮助我们加深对宇宙的理解。 一句话回答"牛在哪"：三项结果分别踩在各自领域被当成地基用的猜想或假设上，而交卷方式第一次变成"机器逐行可查的形式化证明、由提出者亲自参与的审查"。边界也要说在前面：截至北京时间10月28日，三项成果都还没有完成学术界的独立确认。新浪科技zzllrr小乐新智元
数学：30多年只坐实二维的猜想，这次宣称全维度证毕
局部光滑猜想研究波（声波、水波、光波）在传播中能量如何铺开、解会随时间"变光滑"到什么程度，1991年由Sogge提出，此前人类只坐实了二维；这次模型据称给出了所有维度的证明，并由此把各维度的挂谷（Kakeya）猜想与Stein限制猜想一并推出。 挂谷猜想的分量，可以看人类进度：三维情形直到2025年才被拿下，而那次突破被认为是"十年磨一剑"、足以让从业者问津大奖的工作。 OpenAI方面则宣称，AI证明了适用于所有维度的局部光滑猜想，并由此解决局部光滑与挂谷两个猜想。知乎知乎新浪科技
围绕这份证明的技术解读里，最颠覆的一条是：它完全绕开了调和分析沿用30多年的波包分解与多尺度归纳法，主证明只用了20页篇幅。 自然语言稿10月18日产出，次日完成Lean形式化并放进公开仓库——任何人都可以让机器逐行检查这份AI答卷，这在长篇证明的审查史上几乎从未有过。知乎知乎
计算机科学：被当成"铁律"用了约30年的假设，一夜被指为假
SAT（布尔可满足性）问题问的是：一组逻辑约束能不能给变量赋值使其成立。指数时间假设（ETH）大意为这类问题不可能被"快于指数"的算法解决，提出以来成了大量"算法不可能更快"结论的共同地基——新智元形容，这一被计算机科学家奉为铁律的假设，数百篇论文都建在它上面。新智元
OpenAI宣称，其模型找到了确定性次指数时间算法，可精确计算布尔公式的满足赋值数，并据此推翻ETH。 复核者本身就够分量：牵头核验的shepherd组由Russell Impagliazzo、Ramamohan Paturi——ETH的原始提出者——和MIT的Ryan Williams领衔。zzllrr小乐知乎
OpenAI旗下理论计算机科学家Bubeck感叹，这是自己关注理论计算机科学20年来见过的最大惊喜。 但shepherds已明确表态：参与讨论并不等于背书结论。 两条边界必须画清。其一，推翻ETH不等于解决P对NP问题，ETH的真假与P是否等于NP不是同一个命题。 其二，“精确数出解的个数"与"判断有没有解”"找出一个解"是不同的计算任务，渐近意义上快过指数，也不代表明天就能实用——算法的具体复杂度界与归约关系，都要等论文被逐项核对。新智元知乎zzllrr小乐
物理：给用了几十年的理论补上数学地基
量子色动力学（QCD）描述夸克与胶子间的强相互作用，是粒子物理标准模型的支柱之一，物理学家每天在用；但"这套理论在数学上是否严格存在"，却始终悬着——Clay数学研究所的杨-米尔斯千禧年大奖问题，要的就是四维量子Yang-Mills理论的存在性与质量间隙。 OpenAI宣称，AI提出了量子色动力学及杨-米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。zzllrr小乐新浪科技
但这不能直接写成"千禧年问题已被解决"：证明某种量子场论存在，不自动等于证明质量间隙存在。 物理这一项的待遇也和前两项不同：材料暂不外放，交由诺贝尔物理学奖得主等专家审查，OpenAI列出的牵头者包括QCD创始人之一David Gross；相关成果仍需学术界进一步独立确认。zzllrr小乐知乎新浪科技
三份结果的真正看点：生成时间、公布时点与"谁来验"
三份成果并非公布当天才做出来：按OpenAI自己披露的时间，Yang-Mills存在性证明早在9月9日就已生成，ETH相关证明10月16日生成、数学证明10月18日生成，10月26日只是集中对外公布。zzllrr小乐
资本时点的巧合也确实存在：路透社此前报道，OpenAI正争取在Anthropic预计于11月中旬IPO前完成约300亿美元融资，潜在估值超过1.4万亿美元。zzllrr小乐
但成果先于发布窗口就已存在，能确认的只是两件事撞在了同一天，现有证据不足以把科学发布解释成"为上市造势"。OpenAI已公开表示，希望对这些成果采取透明、独立的合作原则，不为内部模型产生的发现索取学术功劳，并由外部专家牵头组织解释与审查。zzllrr小乐
放在OpenAI 2026年的节奏里看，这次的分量才有参照：5月，其通用推理模型攻克了困扰数学界近80年的"平面单位距离猜想"；8月，内部模型Astra被公布在10个长期停滞的数学与理论计算机难题上取得突破；10月初，一次放出722篇数学手稿，媒体称"一夜攻克722个数学难题"。 此前多被质疑是"解出题"，这一次动的是猜想、基础假设和理论的存在性——层级完全不同。华尔街见闻微博新智元
数学界的反应也因此撕裂：陶哲轩10月转发过多位数学家抵制OpenAI的文章。 围绕9月NS方程证明的贡献归属之争至今没有平息，支持者则认为，形式化验证恰好回应了"AI产出太多太快、人看不过来"的核心顾虑。知乎知乎
所以，到底牛在哪
拆开就三句话：成果级别是地基级——推平局部光滑/挂谷链条、动摇ETH、触碰杨-米尔斯存在性；交卷方式是新范式——Lean形式化让机器逐行审计成为可能，复核席上坐着问题的提出者；但一切以核验为准——独立确认完成之前，它们是三个分量十足的重大宣称，而不是已经改写的教科书。 接下来值得盯的信号：shepherds是否出具结论、Lean证明能否被外部独立复现、以及能否出现可推广的"第二代成果"。三项里哪怕最终只有一项站住，基础科研的分工也已经变了。新智元
