The DecoderMaximilian Schreiner
OpenAI 邀诺奖得主等专家核查其 AI 生成的数理与计算机科学证明
原标题:OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
模型86
OpenAI 表示,其内部 AI 模型已经攻克了数学、计算机科学和物理学领域的三个重大未解问题。其中一个属于著名的“千禧年大奖难题”的一部分,该难题每个都设有 100 万美元的奖金。包括一位诺贝尔奖得主在内的外部专家目前正在审查这些证明是否能够成立。如果关于计算机科学的证明本身能够成立,数百篇研究论文将失去其立论根基。文章《OpenAI 邀请包括诺贝尔奖得主在内的外部专家,审查其 AI 在数学、计算机科学和物理学领域得出的证明》最初发表于 The Decoder。
为什么值得读
一旦数理证明经由顶尖学者核验成立,前沿模型的能力分界线将实质性跨入长期悬而未决的硬核基础科学。
标签
OpenAI数学证明推理模型计算机科学理论物理千禧年大奖难题