OpenAI 邀请包括诺贝尔奖得主在内的外部专家，核查其 AI 在数学、计算机科学和物理学领域生成的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
精选理由
了解AI破解重大科学难题的进展及其待验证的影响
AI 摘要
OpenAI 表示，其内部 AI 模型已经破解了数学、计算机科学和物理学领域的三个重大未解问题。其中一个属于著名的千禧年大奖难题，每个难题的奖金均为 100 万美元。现在，包括一位诺贝尔奖得主在内的外部专家正在核查这些证明是否经得起检验。如果这项计算机科学证明本身成立，数百篇研究论文将失去其理论基础。文章《OpenAI 邀请包括诺贝尔奖得主在内的外部专家，核查其 AI 在数学、计算机科学和物理学领域生成的证明》最初发表于 The Decoder。