The Decoder：AI News· Maximilian Schreiner·· 2 小时前精选AI 评分79
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 在数学、计算机科学和物理领域生成了证明，并请外部专家担任核查者，据其建议对每个领域分别处理。计算机科学结果称证明指数时间假设（ETH）为假，数学结果称对包括更高维在内的所有维度证明了局部光滑猜想，物理结果称证明了四维量子场论的存在性，但只覆盖 Yang-Mills 的存在性部分，未涉及质量间隙。
推荐理由
OpenAI 请包括诺奖得主 David Gross 在内的外部专家核查 AI 生成的数学、计算机和物理证明，读者可据此了解这套验证流程及其局限。
来源：The Decoder：AI News · the-decoder.com