The Decoder· Maximilian Schreiner·· 4 小时前精选AI 评分88
OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域生成的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 称其模型在数学、计算机科学和物理三个领域生成了证明，并邀请外部专家担任 shepherd 进行核查。计算机科学方面，OpenAI 称已证明指数时间假设（ETH）不成立；数学方面，OpenAI 称局部平滑猜想在所有维度上得到证明；物理方面，OpenAI 称证明了某些量子场论在四维中存在，但明确只解决了 Yang-Mills 存在性问题，未涉及质量间隙。
推荐理由
OpenAI 公布三项 AI 生成的数学与物理证明，并交由外部专家独立核查，读者可据此了解其验证方式与理论影响。
来源：The Decoder · the-decoder.com