OpenAI称AI解决了挂谷问题，并否证了ETH

OpenAI宣布在数学、计算机科学和物理学领域取得三项新发现。该模型证明了指数时间假设（ETH）为假，而该假设曾被数百篇论文用作计算复杂性的前提；这一结果已在Lean中完成形式化验证，并将由该假设的提出者Russell Impagliazzo和Ramamohan Paturi领导的小组，连同麻省理工学院教授Ryan Williams一起进行核查。

该模型证明了任意维度下的局部光滑猜想，从而解决了挂谷猜想和Stein限制猜想；在物理学方面，它为包括量子色动力学在内的四维量子场论提供了严格的存在性证明，其中还包括与千禧年大奖难题相关的纯杨-米尔斯理论的存在性证明，该结果将由诺贝尔物理学奖得主David Gross领导的小组核查。

OpenAI将这些手稿视为原始研究数据，并正在试验一种新的发布方式：联系外部专家担任“引导者”，组织小组来理解这些新结果。对于数学成果，OpenAI发布了AI的输出，让研究人员自由组织自己的解读工作；对于计算机科学，一个外部合作小组将解释该结果，同时AI输出会公开提供；对于物理学，一个外部小组则暂缓材料的发布。

OpenAI表示，它不会为其内部模型产生的这些发现寻求学术荣誉，工作组成员均为自愿参与，无报酬且独立进行。这些结果仍有待学术界的独立验证。