2026年10月18日，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项基础性突破：一是在所有维度上证明局部光滑猜想，从而解决挂谷猜想；二是推翻长期成立的指数时间假设（ETH）；三是在严格数学框架下证明量子色动力学及杨–米尔斯理论的存在性。三项成果均依托形式化验证工具Lean完成初步验证，数学与计算机科学成果已公开GitHub代码库，物理学成果正由包括诺奖得主大卫·格罗斯在内的国际专家团队审查。OpenAI强调，所有原始证明材料均已开源，并将资助专题学术会议推动学界独立复现与讨论。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。