OpenAI 宣布 AI 取得三项科学突破

OpenAI 称其 AI 模型在数学、计算机科学和物理学领域取得三项突破，部分成果已通过 Lean 形式化验证，但仍需学术界进一步独立确认。