The Decoder· Maximilian Schreiner·· 4 小时前AI 评分75
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生成的数学、计算机科学和物理领域的证明。在计算机科学方面，AI声称证明了指数时间假设(ETH)错误；在数学方面，AI解决了局部平滑猜想；在物理方面，AI证明了某些量子场论在四维空间中的存在性。OpenAI采用不同的验证方式，包括将证明翻译成Lean语言，并邀请包括诺贝尔奖得主在内的专家进行独立审查。
来源：The Decoder · the-decoder.com