OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI 称其 AI 在数学、计算机科学与物理三个领域产出证明,并邀请外部专家担任 shepherd 核查结果。计算机科学结果声称推翻长期被广泛接受的 Exponential Time Hypothesis,数学结果声称把 1991 年提出的 local smoothing conjecture 推广到所有维度,物理结果声称证明某些量子场论在四维中存在。
推荐理由:OpenAI 公布三项 AI 生成的数学与理论计算机科学证明,并披露外部专家分领域核查的安排,读者可据此了解这些结论的验证方式与争议边界。