The Decoder· Matthias Bastian·· 11 小时前
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明，呼吁学术界跟上
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
SI 导读
OpenAI 在 GitHub 发布 372 个内部前沿模型生成的数学证明，涵盖开放问题进展与主要算法改进。证明附 Lean 形式化验证与修订日志，多数由单一 agent 单次提示生成，平均消耗约三小时 ChatGPT Pro Thinking 算力，绕开传统同行评审期刊。
精选SI 评分77
推荐理由
OpenAI 将 372 个 AI 数学证明发布至 GitHub 而非期刊，凸显传统学术评审体系在自动化产出前的节奏错位。
来源：The Decoder · the-decoder.com