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

OpenAI请外部专家担任“shepherd”审阅其AI在数学、计算机科学和物理领域产出的证明，并按领域分别处理。数学与计算机科学证明已被翻译成Lean，但Lean只检查证明是否成立，命题本身是否准确仍需专家判断。计算机科学结果称证伪了指数时间假设（ETH），数学结果称在所有维度证明了局部光滑猜想，物理结果称证明了四维量子场论的存在性，但仅覆盖Yang-Mills问题的存在性部分，不含质量间隙。