OpenAI 在 GitHub 发布 372 个 AI 生成数学证明
OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 个新数学结果，旨在解决开放问题或取得重大进展。这些成果包含对主要计算机算法的改进以及与黎曼猜想相关的进展，多数附带 Lean 形式化验证以缓解人工审查瓶颈。OpenAI 选择 GitHub 而非同行评审期刊发布，暗示传统科学流程无法适应此知识产出速度，该做法引发数学界关于 AI 目标与学科本质错位的争议。
推荐理由：原文披露了 OpenAI 将 AI 生成的数学成果直接发布在 GitHub 并引入 Lean 形式化验证的做法，读者可据此观察其如何绕过传统学术评审流程。