The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分82
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、全维局部平滑猜想以及四维量子场理论存在性，相关原始证明与 Lean 证明部分公开，但理论影响和实际收益仍待独立验证。
推荐理由
文章梳理了三项 AI 数学与物理证明的外部审查安排及验证边界，便于理解其学术影响与核验难点。
来源：The Decoder · the-decoder.com