OpenAI 在 GitHub 发布 372 个 AI 生成数学证明

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