OpenAI宣布在挂谷猜想、杨—米尔斯理论等问题上取得重要进展
当地时间10月26日，OpenAI宣布其大模型在数学、计算机科学、物理学方面取得三项重大进展，分别涉及挂谷猜想、指数时间假设（ETH）和杨—米尔斯理论等重要科学问题。
数学方面，OpenAI宣布AI已证明局部平滑猜想在全部维度上成立，由此解决了所有维度的挂谷猜想问题。2025年，中国数学家王虹与合著者证明了三维空间的挂谷猜想，并因此获得菲尔兹奖。此次OpenAI则基于一个新的辅助偏微分方程证明了各个维度中的局部平滑猜想。OpenAI已将相关成果上传到GitHub。
计算机科学方面，OpenAI表示AI推翻了指数时间假设（ETH）。该假设认为3-SAT（布尔可满足性问题）不存在亚指数级通用解法，此前被广泛认为是正确的，并被图论、计算生物学、数据库等众多领域的数百篇论文用于证明一些问题的计算难度很高。ETH被证伪则表明相关问题可能存在更高效的算法求解路径。OpenAI已邀请ETH的提出者拉塞尔·因帕利亚佐等学者对该证明进行评审。
物理学方面，OpenAI宣称AI对四维规范场与费米子相互作用量子场论的存在性给出了严格数学证明。作为子问题，杨—米尔斯理论的存在性证明也被完成，这是克雷数学研究所千禧年难题“量子杨—米尔斯理论”问题的一部分。OpenAI邀请诺贝尔物理学奖得主大卫·格罗斯带领团队验证相关结果。值得注意的是，杨—米尔斯理论于1954年由杨振宁和罗伯特·米尔斯提出，是粒子物理标准模型的核心框架，在物理学中被成功应用，但在数学严格性上缺乏完整证明。