OpenAI连破三大科学难题：百年猜想告破，30年铁律被推翻

OpenAI宣布其内部AI独立完成三项里程碑式发现。数学方面，AI证明了全维度的“局部平滑猜想”，该猜想由Sogge于1991年提出，涉及不同方向波聚焦的局部强度规律。OpenAI称模型用新的辅助偏微分方程给出了所有空间维度n≥2的证明。该猜想被视为“母猜想”，一旦成立，挂谷猜想和Stein限制猜想将随之成立。此前2019年Guth、王虹、张瑞祥证明二维局部平滑猜想，2025年王虹与Joshua Zahl攻克三维挂谷猜想。AI从10月18日拿到自然语言证明到次日完成Lean形式化验证，仅用一天。

计算机科学方面，AI证伪了统治学界近30年的“指数时间假设”（ETH）。该假设由Russell Impagliazzo和Ramamohan Paturi于上世纪90年代末提出，认为3-SAT等问题不可能在亚指数时间内解决。过去近30年，数百篇论文借助ETH划定算法速度边界。OpenAI公开的67页论文题为《指数时间假设是错的》，提出可精确计数3-SAT公式满足条件的赋值数量，将求解时间降至次指数级，但距多项式时间仍有差距，因此反驳ETH不等于证明P=NP。Impagliazzo、Paturi及MIT的Ryan Williams亲自参与审查。AI于10月16日得到自然语言反驳，17日完成Lean形式化。

理论物理方面，AI给出四维量子色动力学（QCD）与纯杨-米尔斯理论的严格数学存在性证明。该工作由诺奖得主David Gross领衔审查，成员包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。Jaffe曾与Edward Witten共同写下该千禧年问题的正式题述。证明沿构造性量子场论中Balaban的方法，范围包括QCD及一种大统一补全。纯杨-米尔斯理论存在性触及千禧年大奖难题的一部分，但未宣布解决正质量间隙。模型9月9日给出杨-米尔斯存在性证明，9月18日给出QCD证明，10月16日完成Lean形式化。

OpenAI将三份手稿定位为“原始科研数据”，首次试验三种外部协作模式：数学结果公开手稿与Lean代码；计算机科学结果公开手稿与Lean代码并组建专家组；物理天团暂不公开AI原始产物，由五位学者闭门研读并撰写阐述论文。协作原则包括透明、不争学术署名、认可阐释、独立无偿。OpenAI向Simons Foundation出资500万美元，Simons基金会联合OpenAI、Anthropic共投入1500万美元资金与算力资源。目前openai/math仓库已收录721篇手稿，归为373个结果族，约42%的顶层结论已完成Lean形式化。