The Decoder· Matthias Bastian·· 2 小时前精选AI 评分61
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布 372 个由内部前沿模型生成的数学证明，涵盖算法改进和黎曼猜想相关进展，部分证明以 Lean 语言形式化，旨在应对传统学术评审的效率瓶颈。
推荐理由
OpenAI 将 372 个 AI 生成的数学证明发布在 GitHub，用形式化验证应对评审瓶颈，挑战传统学术发表路径。
来源：The Decoder · the-decoder.com