The Decoder· Matthias Bastian·· 3 小时前精选AI 评分83
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 发布 372 个由内部前沿模型生成的数学结果，称每个都解决或推进了一个开放问题，涵盖重要计算机算法改进以及与黎曼猜想相关的进展，成果托管在 GitHub 仓库并提供修订日志和引用。
推荐理由
材料呈现了 AI 批量产出数学成果与学术评审体系之间的张力，读者可据此理解数学界对这类产出的分歧。
来源：The Decoder · the-decoder.com