The Decoder· Maximilian Schreiner·· 22 小时前AI 评分63
OpenAI 请诺奖得主等外部专家核查其 AI 生成的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 请外部专家担任数学、计算机科学和物理成果的“牧羊人”，并把数学与计算机证明翻译成 Lean 形式化；计算机成果涉及否定指数时间假设（ETH），若成立将推翻计算机科学的一项核心假设。
来源：The Decoder · the-decoder.com