The Decoder· Maximilian Schreiner·· 3 小时前精选AI 评分95
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生成的三项数学、计算机科学与物理学证明,并引入外部专家作为“牧羊人”进行独立审查。计算机领域涉及指数时间假设(ETH)的反证,数学家与物理学家正分别对局部平滑猜想和量子场论存在性证明进行核查。
推荐理由
原文详述了OpenAI发布三项AI数学物理证明及外部专家独立审查机制,揭示了前沿AI成果验证的新范式。
来源:The Decoder · the-decoder.com