The Decoder· Maximilian Schreiner·· 8 小时前精选AI 评分93
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 在数学、计算机科学和物理学中生成的证明，并将部分证明转译为 Lean。计算机科学结果声称推翻指数时间假说，数学结果声称在所有维度证明局部平滑猜想，物理学结果则声称证明特定四维量子场论的数学存在性。文章指出，相关结论仍需独立审查，且 OpenAI 仅称解决了 Yang-Mills 理论的存在性部分，并未解决质量间隙问题。
推荐理由
文章梳理了 OpenAI AI 生成证明的独立审查安排及数学、计算机科学和物理学中的具体主张，便于理解其潜在理论影响与验证难点。
来源：The Decoder · the-decoder.com