OpenAI公布数学、计算机科学与物理新成果，称证明指数时间假设不成立

OpenAI于美国当地时间10月26日公布三个领域的新成果，称均由其模型完成。数学方面，模型证明了索格（Sogge）1991年提出的局部光滑猜想在所有空间维度下成立，并据此推出所有维度下的挂谷猜想和斯坦限制猜想。计算机科学方面，模型证明指数时间假设（ETH）不成立，结论已通过Lean形式化验证。ETH刻画的是布尔可满足性问题的计算难度，图论、计算生物学、数据库、计算几何等领域有数百篇论文以它为前提。物理方面，成果给出了四维时空中部分含规范场与费米子相互作用的量子场论的严格存在性证明。其中一个子结论是纯杨-米尔斯理论存在，这是克雷研究所千禧年难题的核心内容之一。数学和计算机科学两份文稿已发布在GitHub上，物理成果则交由外部专家组发布。OpenAI表示，这些文稿应视为原始研究数据，并非学界认可的定论，公司也不会为这些发现索要学术荣誉。此前，陶哲轩、邓煜等数学家曾批评AI批量产出的证明缺乏洞见、来源无从追溯。

ETH是复杂性理论里的常用前提，数百篇条件性结论以它为基础。如果否定ETH的结论经得起同行检验，这些结论都要重新审视。AI在基础研究中的角色，也会从“做题”转向产出需要学界消化的原创结果。

短期内不会带来实际产品变化。要把ETH不成立转化为可用的更快算法，还需要大量后续研究。对AI行业而言，这次发布强化了OpenAI在推理能力上的展示，也让AI成果如何核验、如何署名的问题更加突出。