The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分82
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