The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分77
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 形式化证明。计算机结果声称证明指数时间假设为假，数学结果将局部光滑猜想推广到所有维度，物理结果则证明某些量子场论在四维下存在。ETH 原提出者与诺贝尔奖得主 David Gross 等将分别负责相关复核。
推荐理由
ETH 原提出者与诺贝尔奖得主 David Gross 被请来复核 OpenAI 的新证明，说明 AI 数学结果正进入由原作者背书的审查阶段。
来源：The Decoder · the-decoder.com