OpenAI宣布AI独立完成三项科学突破，ETH被证伪

nashnova research

今天发布阅读约 4 分钟

OpenAI宣布其AI模型独立完成数学、计算机科学与理论物理三项重大发现，其中证伪了支撑算法复杂度理论近30年的「指数时间假设」（ETH），若经最终确认，数百篇论文的理论基础将面临系统性重审。

ETH被证伪，到底意味着什么？

ETH（指数时间假设）认为3-SAT等NP完全问题（一类被公认为"极难"的计算问题）不可能在亚指数时间内求解，近30年来数百篇论文以此为基础划定算法速度的"天花板"。

OpenAI公开了一份67页手稿，标题直接写明：《指数时间假设是错的》。这意味着→ 如果验证通过，过去近30年用ETH当"地基"搭建的算法理论大厦，地基本身被抽掉了。

用大白话说＝以前大家默认"这类问题不可能算得快"，现在AI说"能"，而且写出了证明。如果证明成立，整个领域要回头重新检查哪些结论还站得住。

ETH的两位提出者因帕利亚佐和帕图里，以及MIT复杂度理论学者瑞安·威廉姆斯，已公开参与验证工作——提出假设的人亲自来审，规格极高。

诺贝尔物理学奖得主戴维·格罗斯评价：「对于不了解的人来说，ETH被证伪非常令人惊讶，影响太深远了。」

OpenAI理论计算机科学家比贝克称，这是自己关注该领域20年来见过的最大惊喜。这反映出即便是领域内资深研究者，也未预料到ETH会以这种方式被推翻。

AI将局部平滑猜想（一个关于波动方程解的光滑程度的数学命题，由索格1991年提出）推广至所有空间维度（n≥2），采用了一种新的辅助偏微分方程方法。

这意味着→ 局部平滑猜想作为"母猜想"，可以推导出挂谷猜想与斯坦限制猜想的成立——前者困扰数学界逾百年，也是菲尔兹奖得主王虹的主攻方向。

从自然语言证明到完成Lean形式化验证（用计算机逐步核查证明的每一步逻辑），AI仅用一天。

AI沿构造性量子场论中巴拉班的方法，给出了四维量子色动力学（QCD）与纯杨-米尔斯理论的严格数学存在性证明。用大白话说＝ AI用严格的数学语言证明了"这套物理理论在数学上是自洽的"。

验证团队由诺奖得主格罗斯领衔，成员包括道格拉斯、贾菲、克列巴诺夫、涅克拉索夫——都是该领域顶尖学者。

OpenAI明确指出：正质量间隙问题尚未解决，完整的千禧年大奖难题答案仍未达到。这反映出OpenAI在定位成果边界时保持了克制。

OpenAI将三份手稿定位为"原始科研数据"，明确不为AI产出的发现寻求学术署名，并向西蒙斯基金会出资500万美元。

西蒙斯基金会联合OpenAI、Anthropic共投入1500万美元资金与算力资源，资助独立审查与研讨。这意味着→ 验证工作不是OpenAI自说自话，而是引入了外部独立资金和学术力量。

目前OpenAI数学仓库已收录721篇手稿，归为373个结果族，约42%的顶层结论已完成Lean形式化验证。

如果ETH证伪经独立专家组最终确认，将直接动摇数百篇依赖该假设的论文，算法复杂度理论的基础框架面临系统性重审。

三项发现横跨数学、计算机科学、理论物理，且均已启动外部专家验证——这不是单一领域的孤立事件，而是AI作为"科研工具"的一次集中压力测试。

用大白话说＝关键不只是"AI做出了发现"，而是"这些发现能不能经得住人类顶尖专家的逐行审查"。这才是检验AI科研范式是否可持续的真正节点。

市场有风险，内容仅供研究参考，不构成投资建议。