The Decoder· Maximilian Schreiner·· 2 小时前
OpenAI 邀请诺奖得主等外部专家核查其 AI 生成的数学、计算机科学与物理证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
SI 导读
OpenAI 邀请包括一名诺奖得主在内的外部专家核查其 AI 产生的数学、计算机科学和物理证明。公司按领域分派专家审阅并将部分证明转译 Lean 供机器校验，涉及 ETH 假设可能被推翻及量子场论存在性证明。此为 OpenAI 在 Navier-Stokes 证明公关争议后推出的审查流程，专家小组强调参与不代表认可主张。
精选SI 评分77
推荐理由
OpenAI邀请诺奖得主等外部专家审查AI生成的数学与物理证明，读者可了解学界对AI科研产出的独立验证机制。
来源：The Decoder · the-decoder.com