OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域产出的证明

OpenAI 请外部专家担任“shepherd”核查其 AI 在数学、计算机科学和物理三个领域产出的证明，并按领域分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻指数时间假设（ETH），数学结果声称在所有维度证明局部光滑猜想，物理结果声称证明四维量子场论的存在性，但 OpenAI 明确表示只解决了 Yang-Mills 存在性部分，未解决质量间隙。