OpenAI 邀请外部专家核查 AI 生成的数学、计算机科学与物理证明

OpenAI 邀请包括诺贝尔奖得主在内的外部专家，核查其 AI 在数学、计算机科学和物理领域生成的证明。OpenAI 称成果包括证明 ETH 为假、在所有维度证明局部平滑猜想，以及证明某些四维量子场论存在；数学和计算机科学证明已转为 Lean。Yang-Mills 结果仅声称解决存在问题而未证明质量间隙，物理团队暂时保留相关材料，独立核查者也明确表示参与不等于背书。