The Decoder· Maximilian Schreiner·· 5 小时前精选AI 评分89
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 生成证明的三项理论结果及独立审查安排，重点呈现其可能影响与尚未解决的验证问题。
来源：The Decoder · the-decoder.com