The Decoder· Maximilian Schreiner·· 4 小时前精选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 邀请诺奖得主 David Gross 等外部专家核查其 AI 生成的数学、计算机科学与物理证明，并公开部分证明及 Lean 文件。OpenAI 称结果分别涉及推翻 ETH、在所有维度证明局部平滑猜想，以及证明四维 Yang-Mills 等量子场理论存在；其中仅解决 Yang-Mills 存在性部分，未解决质量间隙。
推荐理由
文章梳理三项 AI 证明的外部复核机制、Lean 验证能力及其对相关理论基础的潜在影响。
来源：The Decoder · the-decoder.com