The Decoder· Maximilian Schreiner·· 1 小时前精选AI 评分83
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 在数学、计算机科学和物理三个领域产出的证明，并按领域分别处理。
选题角度
OpenAI 称 AI 在数学、计算机科学、物理三领域产出证明，并请外部专家核查，可围绕 ETH 被证伪的争议与 Lean 验证的边界做热点评论。
来源：The Decoder · the-decoder.com