The Decoder· Matthias Bastian·· 1 小时前AI 评分75
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明，呼吁学术界跟上
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布了 372 个由内部前沿模型生成的数学证明，涵盖对重大计算机算法的改进以及与黎曼猜想相关的进展。每份证明平均消耗约三小时 ChatGPT Pro Thinking 算力，部分附带 Lean 形式化验证。这一发布方式绕过了传统期刊同行评审，引发数学界对 AI 大规模生成定理是否有助于概念理解的争议。
来源：The Decoder · the-decoder.com