The Decoder· Maximilian Schreiner·· 4 小时前精选AI 评分75
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 语言以供逐步检验。团队正邀请包括诺奖得主 David Gross 及 ETH 提出者在内的外部专家进行独立审查，并向西蒙斯基金会承诺出资 500 万美元资助相关研讨。
推荐理由
原文梳理了前沿模型尝试解决重大科学猜想时所采用的 Lean 形式化验证与外部专家同行评审机制。
来源：The Decoder · the-decoder.com