OpenAI 宣布 AI 模型在数学、计算机科学和物理学领域取得三项重大突破

OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破，分别涉及局部光滑猜想证明、指数时间假设的推翻以及量子场论的存在性证明。其中部分成果已通过 Lean 工具进行形式化验证并在 GitHub 公开，物理学成果正由诺贝尔奖得主等专家参与审查。