The Decoder· Matthias Bastian·· 11 天前精选AI 评分85
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 而非期刊，并附 Lean 形式化，数学界对量产证明分歧明显。
来源：The Decoder · the-decoder.com