OpenAI请外部专家审查AI生成的数学与物理证明

OpenAI请外部专家审查其AI在数学、计算机科学和物理领域生成的证明，并按领域采取不同的复核与公开方式。数学和计算机科学证明已转为Lean，Lean可检查证明步骤，但不保证命题准确对应原问题；其中关于ETH的证明若成立，将动摇依赖该假设的数百篇论文。物理方面，OpenAI称已证明四维量子场论中三类理论存在，但只解决Yang-Mills理论的存在部分，尚未证明质量间隙，且相关材料暂未公开。