The Decoder· Matthias Bastian·· 4 hr agoSelectedAI score76
OpenAI 在 GitHub 发布 372 条 AI 生成数学成果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI brief
OpenAI 在 GitHub 发布 372 条由内部前沿模型生成的数学成果，称每条都解决或实质推进一个开放问题，涵盖主要计算机算法改进和黎曼猜想相关进展。多数成果来自单次提示词给单个 AI 智能体，平均消耗约三小时 ChatGPT Pro Thinking 算力，部分证明附 Lean 形式化验证。
Why it matters
OpenAI把 372 条 AI 数学成果放到 GitHub 并配 Lean 形式化验证，学术审稿节奏与数学研究价值成为争论焦点。
Source: The Decoder · the-decoder.com