The Decoder· Maximilian Schreiner·· 21 小时前精选
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”核查其模型在数学、计算机科学与物理三个领域产出的证明，并按各领域专家建议采取不同处理方式。数学与计算机科学的证明已被翻译为 Lean 代码供机器逐步校验，但 Lean 只检验证明是否成立所述命题，命题是否对应原问题仍需专家判断。
推荐理由
OpenAI 让外部专家分领域核查 AI 生成的数学、计算机科学与物理证明，并公开原始数据与 Lean 证明。
来源：The Decoder · the-decoder.com