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 在数学、计算机科学和物理三个领域产出的证明，并按各领域情况分别处理。计算机科学结果声称证伪了长期被广泛接受的 ETH，数学结果声称把 1991 年提出的局部平滑猜想推广到所有维度，物理结果声称证明了四维量子场论的存在性，但只覆盖 Yang-Mills 的存在性部分，不涉及质量间隙。
推荐理由
OpenAI 让外部专家分领域核查 AI 产出的证明，读者可借此了解三项结果各自的验证方式与争议。
来源：The Decoder · the-decoder.com