OpenAI一气炸场三大科学，牧者模式未平学界怒火

► 文 观察者网心智观察所

当地时间10月26日，OpenAI发表了一篇题为与学术社群合作，建立科学认知的专题文章，宣布其模型在数学、理论计算机科学与理论物理学这三大基础科学领域同时取得了突破性进展：在数学领域攻克任意维度的挂谷猜想，在计算机科学领域推翻立论数十年的指数时间假说，在理论物理学领域则给出了四维量子杨-米尔斯场论的严格数学存在性证明。

名单中的每一个词汇，都对应着科学史上悬置已久、困扰过无数顶尖学者的大山，其中还涉及千禧年大奖难题。消息一出，全球学术圈在感到震动的同时，也因OpenAI此次采用的非同以往的发布方式展开一场激烈的讨论。

掉转方向的细针与两代学者的接力

1917年，日本数学家挂谷宗一提出了一个十分生活化的问题：在平面纸面上放置一根长度为1的细针，如果希望这根针能够在平面内连续移动、旋转，最终完全掉转180度的朝向，那么这根针所划过的区域的至少可以覆盖多大的面积。

直觉往往会误导人们的判断。如果将针绕着其中点旋转一整圈，扫过的轨迹是一个直径为1的圆盘，其面积大约是0.785。针在一个高为1、底边适当的正三角形内转动，所需的面积可以进一步缩小。当时许多数学家直觉上认为，无论轨迹设计得多精巧，容纳这根针完全掉头所需要的最小图形总会存在一个固定的面积下限。

俄国数学家贝西科维奇在几年后给出了一个颠覆常理的证明。他证明了在二维平面上，只要把图形剪裁成无限细碎、高度交错重叠的星芒状缝隙结构，就可以构造出一个面积无限接近于0的区域，在其中让长度为1的针顺利完成全方向的旋转。这种点集后来被称为挂谷集。

平面上的面积虽可无限小，但数学家们很快意识到，图形的“大小”并不能仅仅用传统的长宽面积来度量。学者们引入了豪斯多夫维数与闵可夫斯基维数等更精细的测度工具。挂谷集虽然看起来千疮百孔、极其稀疏，但在微观结构上却必须非常紧密地交织在一起，才能容纳各个朝向的线段。由此，数学界诞生了著名的挂谷猜想：在任意n维欧几里得空间中，任何一个包含了所有方向单位线段的集合，其分形维数都必须等于空间本身的维度n。

这个猜想与调和分析、偏微分方程、数论以及信号处理等前沿领域存在深刻的内在联系。几十年来，众多杰出学者在这座险峰前停下了脚步。陶哲轩等人曾在此方向做出过重量级工作，但在三维及更高维度上，猜想始终无法被彻底攻克。直到2025年，中国青年数学家王虹与合作者凭借深厚的分析功底，在三维空间的挂谷猜想证明上取得了决定性进展，她也因此获得了数学界的最高荣誉菲尔兹奖。

OpenAI此次公布的成果显示，其人工智能系统通过引入一个全新的辅助偏微分方程，证明了全部维度上的局部平滑猜想。局部平滑猜想是调和分析领域公认的核心难题，其成立直接推导出了任意维度下的挂谷猜想与著名的斯坦因限制猜想。OpenAI直接将这段由机器生成的推导内容上传到GitHub，将整个证明的审查完全托付给全球数学界。布朗大学数学教授布伦丹·哈塞特在查阅相关材料后表示，该推导看来具有充分的逻辑依据，展现出极高的专业水准。

杨振宁当年的抉择与悬而未决的千禧年难题

如果说挂谷猜想展示了纯粹几何的精巧，那么杨-米尔斯理论则直接构成了人类理解微观物质宇宙的骨架。

1954年，杨振宁与合作者罗伯特·米尔斯提出了非阿贝尔规范场论。20世纪中叶，物理学界虽然对电磁力有了较为清晰的量子化描述，但面对原子核内部更强大的强相互作用和弱相互作用，原有的对称性理论显得无能为力。杨振宁与米尔斯完成了大胆的数学跃迁：他们要求物理规律不仅在全局变换下保持对称，而且在时空中每一点处独立发生变换时，物理规律依然保持不变。

这项优美的构造却伴随着阴云。按照最初的方程推导，这一理论预言自然界中必须存在一种“带有同位旋电荷却没有静止质量”的粒子。这与当时所有的实验观测完全矛盾，因为在现实世界中根本不存在这样的长程无质量相互作用粒子。著名物理学家泡利其实在此之前也推导出了类似的数学结构，但由于无法解决无质量粒子的现实矛盾，泡利选择将草稿束之高阁。杨振宁和米尔斯深知这个理论漏洞，但他们认定这种基于局部对称性的数学结构过于优美，场论本身未来的发展或许能消除这一缺陷，于是毅然决定公开发表。

随后的半个世纪彻底验证了杨振宁的物理直觉。物理学家们相继引入了对称性自发破缺机制与渐近自由概念，成功解释了弱相互作用与强相互作用，衍生出标准模型这一现代粒子物理学的巅峰成就。杨-米尔斯理论成为了描述夸克、胶子等微观基本粒子行为的基石。

然而，物理学上的巨大成功并没有换来数学上的安心。物理学家在计算高能粒子对撞时，高度依赖重整化技巧，在中间步骤遇到无穷大的发散项，需要依靠特定算法予以剔除。在严格的现代数学框架下，四维时空中的相互作用量子场论是否存在严格的测度与拓扑定义，一直缺乏坚实的公理化基础。

克雷数学研究所在2000年公布的七大千禧年难题中，正式列入了“量子杨-米尔斯理论的存在性与质量间隙”。该问题由两个紧密相连的部分组成：第一部分要求在四维时空中，从严格数学公理出发证明非平凡量子杨-米尔斯场的存在性；第二部分要求证明该理论预言的最小激发态质量必须严格大于零，也就是必须存在一个正的“质量间隙”，唯有这样才能在数学上合理解释强力的短程性质以及真空中无质量粒子的缺失。

OpenAI此次宣布的物理学突破，正是瞄准了这一难题的前半部分。根据其公布的简述，AI借鉴了数学物理学家巴拉班等人早年开创的严格重整化群方法，对包含费米子相互作用的四维规范场给出了严格的存在性证明，理论覆盖了从纯杨-米尔斯场、量子色动力学到标准模型大统一理论的数学构建。

这项成果虽然令人瞩目，但学界也冷静指出，OpenAI并没有解决克雷数学难题中同样致命的“质量间隙”问题，更没有将引力纳入这一框架。换句话说，机器替72年前的杨振宁补全了数学存在性的公理化基石，但自然界粒子质量起源的未解谜团，依然在前方。

推翻指数时间假说与重塑计算极限

除了在几何学与物理学领域的两颗重磅炸弹，OpenAI公布的第三项成果同样在理论计算机科学界引发了地震：他们宣称推翻了长久以来被奉为行业基石的指数时间假说。

1999年，计算机科学家拉塞尔·因帕利亚佐与拉姆汉·帕图里共同提出了指数时间假说。该假说特别聚焦于3-SAT问题。所谓3-SAT问题，可以通俗理解为一个庞大的逻辑开关网络，由成百上千个包含三个变量的逻辑子句组合而成，目标在于寻找是否存在一组开关配置使得整个网络输出为真。指数时间假说明确指出：不存在任何通用的亚指数时间算法能够解决3-SAT问题。这意味着随着问题规模的扩大，计算所需要的时间必定会以指数级发生爆炸，除了比盲目穷举略微聪明一点的方法之外，不存在跨越层级的通用捷径。

在过去的二十多年里，指数时间假说已成理论支柱。全球计算生物学、图论、运筹优化以及密码学等领域的数百篇高水平学术论文，都建立在这一假说成立的基础之上。学者们将复杂的现实算法问题归约到3-SAT，从而证明许多实际问题无法在短时间内得到极优解。

OpenAI宣称模型推翻了指数时间假说，意味着其算法给出了某种通用的亚指数求解方案。如果这一结论最终被学界证实，理论计算机科学的整个硬度谱系将被迫重构，诸多此前被认为不可能在人类有生之年计算完毕的复杂优化问题，可能在数学上存在更快的算法通路。这对于密码学安全边界的评估以及大规模运筹系统的设计具有不可估量的冲击力。

告别论文轰炸与争议中的专家引导机制

是OpenAI在此次成果公布方式上做出了巨大转变。

今年10月初，OpenAI曾采用了“大水漫灌”的发布策略：一次性向学术预印本平台抛出数百篇完全由人工智能生成的学术论文。这种做法瞬间让全球数学与理论物理学者陷入了无所适从的窘境。机器产出的推导过程极其冗长、跳跃，且缺少传统学术论文中人类写作者特有的直觉解释与上下文交代。对于需要耗费数月甚至数年时间进行同行评审的数学家而言，审查这些海量文稿带来了前所未有的认知过载与精力消耗。

吸取了上一次的教训，OpenAI在此次公布三项成果时调整了策略，宣布引入外部领域专家担任“牧者”，并针对三个学科分别制定了截然不同的发布与核验流程。

在数学方面，鉴于结论涉及具体的偏微分方程证明，OpenAI直接将原始推导文本公开发布在GitHub平台上，供全世界的数学家自发组织学术力量进行研读与形式化验证。

在计算机科学方面，考虑到推翻指数时间假说对整个学科体系的颠覆性影响，OpenAI选择邀请假说的最初提出者因帕利亚佐等权威学者组建专门的外部评估小组，由这些顶尖学者先行介入，对证明进行全方位的解读与可行性评估，随后再向学界公布详细分析。

而在物理学方面，OpenAI采取了更加审慎却也最具争议的冷处理方式：他们暂不对外公开杨-米尔斯理论存在性证明的任何技术细节，而是组建了一个由诺贝尔物理学奖得主大卫·格罗斯领衔的外部专家团队，将手稿与计算机辅助形式化验证材料完全封闭在专家团队内部，由该团队全权决定何时以及以何种形式向公众呈现。

这种试图兼顾严谨与沟通效率的“牧者”模式，不仅没有完全抚平科研人员此前的疲惫，反而点燃了新的怒火。

学界反对声音的焦点集中在信息准入的公平性与学术透明度上。就在OpenAI官宣的前一天，数学与人工智能咨询专家组便公开发文，明确警示人工智能企业不要在科学界推行信息管控机制。该专家组直言，优先向少数顶尖学者开放成果材料是不健康的科研组织形式，不仅容易借用知名学者的学术声誉为企业自身背书，还会不可避免地造成资源获取的不平等与主观筛选偏差。

得克萨斯大学奥斯汀分校的理论物理学教授安德烈亚斯·卡赫表达了强烈的反对意见。他指出，由商业科技实验室来亲自指派由谁组成专家委员会，本身就是一种极具特权色彩的做法。在科学研究中，大公司本身已经掌握了极其庞大的算力与话语权，不应当由它们来裁定谁拥有审查第一手材料的资格，谁又该被排除在外。卡赫建议，即便是需要组建专家解读小组，OpenAI也应当在第一时间将证明材料无保留地向全球科学界开放，而不是将最重要的物理学成果深锁在高墙之内。

许多学者呼吁OpenAI尽快将物理学成果对应的自然语言论述与计算机形式化证明完整释放。在科学界看来，面对人工智能对传统科学研究范式发起的强力冲击，唯有彻底的公开透明与全人类学者的无门槛协同审查，才是确证这堆世纪突破究竟属于科学真理还是算法幻觉的唯一途径。

来源|心智观察所

禁止转载