The Decoder· Maximilian Schreiner·· 5 天前精选AI 评分88
OpenAI 邀外部专家核查其 AI 产出的数学、计算机科学与物理证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 邀请外部专家担任“shepherd”，核查其 AI 在数学、计算机科学和物理领域产出的证明，并按领域分别处理。计算机科学结果称推翻了长期被接受的指数时间假设（ETH），数学结果称证明了所有维度上的局部平滑猜想，物理结果称证明了四维量子场论的存在性，但仅覆盖 Yang-Mills 的存在性部分。
推荐理由
材料梳理了 OpenAI 让外部专家核查数学、计算机科学与物理证明的安排，读者可了解其评审机制与争议。
来源：The Decoder · the-decoder.com