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

OpenAI 请外部专家担任其 AI 产出的数学、计算机科学与物理证明的审阅者，并按领域分别处理。数学与计算机科学证明已被翻译成 Lean，但 Lean 只校验证明是否推出所写命题，命题是否对应原问题仍需专家判断。计算机科学结果称证伪了指数时间假设（ETH），数学结果称把局部光滑猜想推广到所有维度，物理结果称证明了四维下 Yang-Mills 等理论的存在性，但不含质量间隙部分。