OpenAI 模型一次性公布三项数学与物理领域的前沿突破成果

OpenAI 宣布其 AI 模型一次性带来三项突破，包括推翻指数时间假设、证明局部平滑化猜想以及为量子场论和杨-米尔斯理论构造严格的数学存在性证明。相关证明已通过 Lean 形式化验证，OpenAI 并邀请相关领域的科学家团队参与审查与验证。