The Decoder· Maximilian Schreiner·· 5 天前精选AI 评分79
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）、在任意维度证明局部平滑猜想，以及在四维空间证明特定量子场论的存在性。针对不同学科，OpenAI 采取了差异化处理方式，部分证明已转化为 Lean 语言供形式化验证，并公开了原始数据以供同行评议。
推荐理由
原文披露了外部顶尖专家介入检验的具体分工和数据公开方式，可作为观察前沿 AI 理论成果如何接受同行评审的实际参考。
来源：The Decoder · the-decoder.com