OpenAI 称其 AI 在数学、计算机科学、物理领域取得新发现，关键证明通过 Lean 验证

OpenAI 宣布其 AI 在数学、计算机科学和物理学中解决了多个存在数十年的问题，关键证明已在 Lean 形式化验证系统中通过验证。这些属于 AI 做出的原创性发现，涉及计算极限到粒子物理的数学基础。独立专家正在审查这些工作，尚未确认成立。