The Decoder· Maximilian Schreiner·· 6 天前精选AI 评分81
OpenAI邀外部专家包括诺奖得主验证AI产出数学与物理证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI邀请外部专家担任「牧羊人」，独立检查其AI在数学、计算机科学和物理领域生成的证明，并根据专家建议对不同领域采取不同处理方式。在计算机科学方面，AI声称证明了指数时间假设（ETH）为假；数学方面，模型给出了局部光滑猜想在所有维度的证明；物理方面，AI证明了四维量子场论中杨-米尔斯理论的存在性，但未解决质量间隙问题。
推荐理由
原文详述了OpenAI的三人验证流程和各领域成果，读者可据此评估其AI数学与理论物理证明的可信度。
来源：The Decoder · the-decoder.com