跳到正文
The Decoder· Maximilian Schreiner·· 9 天前AI 评分74

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 产出的三项成果:AI 证明指数时间假设(ETH)为假、局部光滑猜想对所有维度成立,以及 Yang-Mills 等 three 个量子场论在四维的数学存在性(仅存在性部分,未解 mass gap)。

来源:The Decoder · the-decoder.com