The Decoder· Matthias Bastian·· 2 小时前精选AI 评分65
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明，引发学界争议
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布了 372 个由内部前沿模型生成的数学结果，每个结果旨在解决一个开放问题或取得重大进展，其中包括对主要计算机算法的改进和与黎曼猜想相关的进展。
推荐理由
原文呈现了数学界对 AI 批量产出证明的分歧反应，读者可借此了解这一争议的核心论点。
来源：The Decoder · the-decoder.com