OpenAI请外部专家核查AI证明

2026年10月27日，The Decoder报道，OpenAI已邀请外部专家担任“shepherd”，核查其AI在数学、计算机科学和物理三个领域产出的证明，并按专家建议对每个领域分别处理。报道称，数学与计算机科学的证明已被翻译成Lean，但Lean只校验证明是否推出所写命题，命题是否对应原问题仍需专家判断。目前进展停留在外部专家核查阶段，报道未提及核查结果或后续处理情况。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。