The Decoder· Matthias Bastian·· 3 小时前精选AI 评分80
OpenAI 在 GitHub 发布 372 项 AI 生成的数学结果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布 372 项由内部前沿模型生成的数学结果，每项声称解决或显著推进一个开放问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。
推荐理由
OpenAI 把 372 项 AI 生成的数学结果直接发到 GitHub，读者可据此观察学术评审流程与 AI 产出速度之间的张力。
来源：The Decoder · the-decoder.com