The Decoder· Maximilian Schreiner·· 3 天前精选AI 评分79
OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 称其 AI 在数学、计算机科学与物理三个领域产出证明，并邀请外部专家担任 shepherd 核查结果。计算机科学结果声称推翻长期被广泛接受的 Exponential Time Hypothesis，数学结果声称把 1991 年提出的 local smoothing conjecture 推广到所有维度，物理结果声称证明某些量子场论在四维中存在。
推荐理由
OpenAI 公布三项 AI 生成的数学与理论计算机科学证明，并披露外部专家分领域核查的安排，读者可据此了解这些结论的验证方式与争议边界。
来源：The Decoder · the-decoder.com