OpenAI 称其 AI 在数学、计算机科学、物理领域取得新发现，关键证明通过 Lean 验证
精选理由
OpenAI 说自家 AI 解出了几个拖了几十年的数学和物理难题，还用 Lean 做了形式化验证，专家在核实中，可以看看细节。
OpenAI 宣布其 AI 在数学、计算机科学和物理学中解决了多个存在数十年的问题，关键证明已在 Lean 形式化验证系统中通过验证。这些属于 AI 做出的原创性发现，涉及计算极限到粒子物理的数学基础。独立专家正在审查这些工作，尚未确认成立。
原文 · kimmonismus
Major breakthrough: OpenAI says its AI has cracked decades-old problems across mathematics, computer science, and physics, with key proofs formally verified in Lean.
These are original discoveries that could reshape entire fields, from the limits of computation to the mathematical foundations of particle physics. Independent experts are now examining the work; if it holds up, this is a major milestone for AI making new science.
