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 形式化以便机器校验，平均每项约消耗三小时 ChatGPT Pro Thinking 算力；数学界反应分化，25 位菲尔兹奖得主在公开信中警告大规模量产真命题可能损害数学的概念理解与洞见。
推荐理由
原文梳理了这批证明的发布方式、Lean 形式化验证思路，以及数学界从兴奋到公开反对的两极反应。
来源：The Decoder · the-decoder.com