The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分88
OpenAI 请外部专家审阅其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 邀请外部专家担任 shepherd，审阅其 AI 在数学、计算机科学和物理三个领域产出的证明，并根据专家建议对每个领域采取不同处理方式。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只检查证明是否确立了所写命题，命题是否对应原问题仍需专家判断。
推荐理由
OpenAI 对三项 AI 产出的证明采取不同外部审阅方式，读者可据此了解 AI 科研成果如何被验证与归属。
来源：The Decoder · the-decoder.com