OpenAI 宣布数学与物理科学突破

OpenAI 宣布其 AI 模型在数学、计算机科学与物理领域取得三项重大科学突破，涉及局部光滑猜想、指数时间假设及杨-米尔斯理论存在性证明。OpenAI 表示相关成果已通过 Lean 数学验证工具进行形式化验证并公开证明材料，物理学成果由诺贝尔物理学奖得主等专家参与审查，但整体仍需学术界进一步独立确认。