The Decoder· Maximilian Schreiner·· 3 小时前精选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 系统生成的数学、计算机科学和物理学证明，并按领域采取不同的审查方式。OpenAI 称，计算机科学证明涉及指数时间假设（ETH），数学证明涉及局部平滑猜想，物理学证明则声称证明了特定量子场论在四维中的数学存在性；这些结果仍需专家核查。
来源：The Decoder · the-decoder.com