The Decoder· Maximilian Schreiner·· 6 天前精选AI 评分82
OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明，邀请外部专家核查
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 宣布其 AI 在数学、计算机科学和物理学领域产出重大证明结果，并请外部专家担任 shepherd 核查，数学与计算机科学证明已翻译为 Lean。
推荐理由
原文梳理了三个领域证明的核心内容和不同验证机制，读者可借此了解 AI 数学成果如何被外部专家独立核查。
来源：The Decoder · the-decoder.com