The Decoder· Maximilian Schreiner·· 17 天前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）为假，数学方面声称在所有维度证明了 Sogge 局部平滑猜想（并顺带解决 Kakeya 猜想与 Stein restriction 猜想），物理方面声称证明了某些四维量子场论（含 Yang-Mills 理论）在数学上存在。
来源：The Decoder · the-decoder.com