最近 AI 圈最热闹的事，不是又出了什么千亿参数模型，而是一场发生在数学界的"口水战"。

事情的起因是 OpenAI 在数学方向上的一系列动作。顶尖数学家们公开表达了不满，《经济学人》甚至直接用了"outraged"这个词。陶哲轩（Terence Tao）在个人博客上发文，标题里直接挂出"A severe misalignment of AI in mathematics"——"严重错位"，措辞相当重。

那么，到底发生了什么？

简单来说，OpenAI 在推动 AI 参与数学研究时，采用了某些被数学界认为"过于激进"的策略。具体争议点集中在几个层面：

一是研究流程的"黑箱化"。 数学是一门讲究严谨和可验证的学科，每一步推导都要经得起同行检验。但 AI 参与后，很多关键步骤变成了模型内部的概率推理，外部研究者很难复现和审查。数学家们担心，这种模式如果被大规模推广，会动摇数学研究的根基。

二是署名和贡献归属的问题。 当 AI 在证明中扮演了实质性角色，这些成果应该怎么算？是署 AI 的名，还是署使用 AI 的人？如果一个证明的核心想法来自人类、但由 AI 完成了 80% 的推演，传统的同行评议机制还适用吗？数学界对这些问题的反应是高度警惕的。

三是"效率优先"对数学文化的冲击。 数学研究长期是一种慢节奏、深度思考的智力活动。AI 带来的"快速产出"诱惑，可能会让研究方向被商业目标和短期成果裹挟。陶哲轩本人虽然对 AI 辅助数学持开放态度，但对这种"错位"显然有清醒的担忧。

说到底，这场争议的本质是：AI 作为工具，与数学作为学科之间，存在一种深层的节奏错配。 AI 擅长的是模式匹配和大规模搜索，而数学需要的是原创性的洞察、长期的沉浸，以及对"为什么这样做"的执着追问。前者可以加速发现，后者才是数学的灵魂。

我个人觉得，这件事给所有 AI 应用的从业者提了个醒：技术能力越强，越要尊重目标领域的内在逻辑。把锤子递给木匠，木匠会感谢你；但如果你硬要把锤子当成凿子用，木匠只会把你的工具扔出去。OpenAI 这次"被扔工具"，值得所有想用 AI 改造传统学科的人认真想一想。

来源：Hacker News