OpenAI邀请专家核查AI生成证明

2026年10月27日，The Decoder报道，OpenAI邀请外部专家担任“把关人”，核查其AI在数学、计算机科学和物理学中生成的证明，并计划将部分证明转译为Lean。报道提到，计算机科学方面的结果声称推翻指数时间假说；数学方面声称在所有维度证明局部平滑猜想；物理学方面则声称证明特定四维量子场论的数学存在性。上述结论仍需独立审查。OpenAI表示，其工作仅涉及Yang-Mills理论的存在性部分，并未解决质量间隙问题。

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

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