OpenAI官宣三大突破：AI证明百年猜想，推翻ETH假设，还碰了千禧年难题

OpenAI今天官宣，它的模型在数学、计算机科学和物理学三个领域取得重大发现。这可能是AI第一次以主要贡献者身份站在基础科学前沿。

三个发现分别落在调和分析、计算复杂度理论和量子场论，每一项都打在硬问题上。

第一个发现来自调和分析。模型给出了局部光滑（local smoothing）猜想的证明，顺带在所有维度上解决了Kakeya猜想和Stein限制猜想。Kakeya猜想是几何测度论的经典难题：在n维空间中，一个包含朝每个方向单位线段的集合，维度必须足够大。这个猜想和傅里叶分析、波动方程有深刻联系，长期没人拿下。OpenAI把模型生成的AI自然语言报告和Lean证明全部放到了GitHub仓库。

第二个发现来自计算复杂度。模型证明了指数时间假说（ETH）为假。ETH的意思是，3-SAT这类NP完全问题不存在比指数时间快太多的算法。这个假设被当成真命题用了几十年，数百篇论文拿它当条件推导硬度下界。ETH如果为假，这些条件结果全部失去依据。OpenAI把这项工作交给Russell Impagliazzo、Ramamohan Paturi和Ryan Williams带领的专家团队验证，Lean形式化证明同样公开在GitHub。

第三个发现来自量子场论。模型给了四维时空里一类相互作用量子场论数学上严格的存在性证明，这类场论包含规范场和费米子，涵盖量子色动力学QCD和粒子物理标准模型的统一完备化。子问题中还包含纯Yang-Mills理论存在性的证明，这是Clay数学研究所千禧年大奖难题的一部分。这个方向由David Gross领衔的物理学家小组共同推进，成员包括Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。小组留了公开邮箱YANGMILLS4D@gmail.com，方便学术讨论。

为了支持外部学术社区独立审查，OpenAI向Simons基金会捐了500万美元，用于资助相关研讨会、会议和特别项目。

这些成果都还没完成正式同行评议。OpenAI的官宣是起点，真正定论还要等人类专家跑完验证。Lean形式化证明能逐条检查推理步骤，但整体框架的方向性错误，机器说了不算。

这次的意义不只是三个结果。OpenAI在尝试一种新的科学发布模式：AI生成结果，公开验证，专家确认。这条路如果跑通，基础科研的生产方式会被改写。