The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分85
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，数学结果声称把局部光滑猜想推广到所有维度。
推荐理由
OpenAI 让外部专家分领域核查 AI 产出的数学、计算机科学与物理证明，并公开原始数据与 Lean 证明，读者可据此了解 AI 科研结果的验证机制。
来源：The Decoder · the-decoder.com