“令人震惊”、“纯粹疯狂”。在OpenAI本周突然向数学界抛出近400项AI生成成果后，三十多位受访数学家不约而同地使用了这些词汇。面对这场信息洪水，学者们在敬畏与兴奋之余，更深层的是对学科范式骤变的焦虑。共识在于：仅理解这些发布内容就需数年，而OpenAI显然不会等待。
海量发布与验证困境
此次发布涵盖组合学、数论、拓扑学等多个领域，共计719篇手稿。由于体量庞大，OpenAI甚至专门发布了指南以帮助用户浏览其GitHub仓库。然而，初步评估困难重重。康涅狄格大学数学教授Álvaro Lozano-Robledo表示，仅阅读目录和摘要就让人不知所措。
验证程度参差不齐是核心争议点。OpenAI承认，719篇手稿中仅有300个主要结果（约占42%）经过了Lean语言的形式化验证。尽管形式化验证能确保逻辑正确性，但许多数学家抱怨，即便有代码辅助，检查过程依然耗时，且部分验证质量不一致，无法完美映射到手稿主张。
伦敦帝国理工学院教授Kevin Buzzard指出，在他熟悉的代数数论领域，极少有结果经过正式验证。“我必须阅读可能不正确的低质内容，或者等待他人完成验证，才能确认结果的正确性。”这种对AI生成“低质冗余内容”（slop）的担忧在学界普遍存在，此前OpenAI因草率的归属和引用问题已备受批评。
“垃圾末日”还是历史性突破？
尽管存在质量瑕疵，但发布内容中确实包含令人印象深刻的成果。斯坦福数学家Jared Duker Lichtman指出，其中有数十个结果涉及黎曼假设、霍奇猜想特例及四维Kakeya猜想等重大难题。若在无AI的世界中，这些成果足以让作者问鼎菲尔兹奖。
然而，这种“从天而降”的解题方式引发了存在主义危机。多位研究人员透露，他们的多年研究计划或被资助提案瞬间“蒸发”。赫瑞瓦特大学教授Francesco Fournier-Facio表示，概率论和理论计算机科学等领域的部分方向已被“推平”。圣安德鲁斯大学教授Colva Roney-Dougal坦言：“我有一批朋友和同事，他们的资助提案刚刚被抹去。”
这种破坏力对博士生和初级研究人员尤为致命。苏黎世联邦理工学院数学家Simon Machado指出，对于正在求职或申请资金的人来说，这极具破坏性。随着OpenAI频繁暗示将有更多发布，学界笼罩在一种“重复遭受炸弹袭击”的焦虑中。
负责任的边界与未来
为缓和冲击，OpenAI与新成立的数学与人工智能咨询组（AGMAI）合作。AGMAI呼吁AI实验室应提供人类可理解的论文、形式化证明，并停止将数学发布仅作为营销工具。OpenAI部分采纳了建议，如资助研讨会、披露模型尝试了4000多个问题，并实施了“论文修订和引用协议”。截至10月8日，已有三篇论文因符号错误被撤回。
但OpenAI并未完全遵循建议，拒绝公开底层模型、提示词及完整的问题集。公司表示，继续在前沿模型上测试数学问题是加速科学工具开发的当务之急。这意味着，数学家们必须在没有充分背景信息的情况下，独自承担消化、验证和背景化这些海量结果的负担。
布朗大学教授Brendan Hassett直言：“这是一团糟。它可能导致学术文化的巨大崩溃。”尽管有观点认为AI只是填补了已知数学景观的空白，而非创造新领域，但学界普遍认为，数学研究的规则已永久改变。正如Lozano-Robledo所言：“数学研究本质上是无限的，研究将继续。”但在下一波浪潮到来前，数学家们必须重新寻找自己的位置。