The Decoder· Maximilian Schreiner·· 4 小时前精选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，计算机科学结果声称推翻了长期被接受的 ETH，物理结果声称证明了四维量子场论的存在性，但只覆盖 Yang-Mills 的存在性部分而非质量间隙。
推荐理由
OpenAI 把三项 AI 产出的证明交给外部专家核查，并公开原始数据与 Lean 证明，读者可据此了解这套评审机制如何运作。
来源：The Decoder · the-decoder.com