The Decoder· Maximilian Schreiner·· 6 小时前精选AI 评分85
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在数学、计算机科学和物理领域生成的证明。OpenAI称，结果分别声称推翻指数时间假设（ETH）、证明所有维度的局部平滑猜想并推出Kakeya猜想和Stein限制猜想，以及证明四维量子场论的存在性，但尚未解决Yang-Mills质量间隙。
推荐理由
OpenAI针对三类证明采用不同的外部审查安排，并公开部分Lean证明，呈现AI数学成果如何进入独立核验流程。
来源：The Decoder · the-decoder.com