OpenAI 一次性抛出近 400 条 AI 数学结果，数学界称「纯粹疯狂」
The Verge 采访三十余位数学家，评价 OpenAI 本周突然发布的近 400 条 AI 生成数学结果。这批成果分布在 700 多篇手稿中，涵盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等领域，其中约 42%（719 篇中的 300 条）已在 Lean 中形式化。
推荐理由：文章汇总数十位数学家对 OpenAI 一次性发布近 400 条 AI 数学结果的反应，呈现学界在规模、验证与职业冲击上的真实焦虑。