OpenAI 宣布证伪指数时间假设并解决所有维度挂谷猜想

OpenAI 宣布其内部模型在计算机科学、数学和物理学取得三项成果，声称证伪了理论计算机科学的指数时间假设（ETH），证明了所有维度下的局部光滑化猜想及挂谷猜想，并给出四维量子场论的严格存在性证明。模型为 ETH 反证和局部光滑化猜想提供了 Lean 形式化证明，并邀请 ETH 原始提出者参与独立复核；物理学证明则由诺贝尔物理学奖得主 David Gross 等学者牵头整理与评估。