连最爱用ChatGPT的陶哲轩都反水了

25位菲尔兹奖得主联名警告AI正在毁掉数学，最令人意外的是，最开放的陶哲轩也站到了OpenAI对立面。

封面 2026年9月11日，陶哲轩的博客页面同步刊出一份声明，标题赫然写着《人工智能在数学中的严重错位》。25位菲尔兹奖得主作为最初签署人，联名警告：AI公司正在把数学难题当成Benchmark，毁掉数学本身。 一份横跨半个世纪的名单

场景：博客发布 签署人名单从1978年得主皮埃尔·德利涅，到据智东西报道2026年7月刚获奖的中国数学家邓煜，横跨近半个世纪。两代数学家的名字并列在同一份声明上，本身就是一个异常信号。更耐人寻味的是，这份名单没有停留在某个学派或某个年龄层——它把战后数学黄金时代的代表人物，与AI时代刚加冕的新人，绑在了同一份文件里。代际共识——而非某一代人的焦虑——让这份公开信的分量陡然加重。 最开放的人，站到了对面

场景：代际同列 陶哲轩此前以对AI开放著称，多次公开演示用ChatGPT配合Lean做形式化证明。他是AI开放派的标志人物。但这一次，他作为最初签署人，站到了OpenAI的对立面。反转震动学界：连最开放的数学家也签了名，说明问题不在技术本身，而在AI公司对数学共同体的目标替代。 不点名的宣战

场景：陶哲轩反转 公开信通篇没有点名任何公司，但结尾那句「AI公司的目标与数学共同体的目标严重不一致」，被外界普遍读作剑指OpenAI。硅谷与学术界的暗战浮出水面。公开信称，AI公司把「解决著名数学难题」当作模型能力的基准，是对数学这门科学和数学共同体的伤害。这并非反对AI辅助数学，而是反对把数学降格为模型能力的跑分场。 暴力解题之后，还剩下什么

场景：不点名暗战 当AI用暴力搜索绕过所有直觉与失败，数学共同体赖以生存的「困惑」与「对话」还能剩下多少？陶哲轩的反转，不是技术路线之争，而是关于人类认知摩擦是否值得保留的价值观分歧。数学不只是答案，更是提出好问题的过程。如果AI公司用「解决著名难题」来定义进步，数学共同体失去的将不只是话语权，而是这门学科自我更新的方式。 这场冲突已无法再用「工具中立」搪塞。值得追问的是：当最开放的陶哲轩也签下名字，AI公司与学术共同体之间，是否还能找到共同的目标？

场景：开放式追问 成语解释 菲尔兹奖：数学界最高荣誉之一，每四年颁发给40岁以下数学家。AI错位：指AI公司以解决著名难题为基准，与数学共同体追求理解与对话的目标不一致。 道理启发 最开放的陶哲轩也签了名，说明问题不在AI工具本身，而在AI公司对数学共同体目标的替代。当「解决难题」成为唯一标尺，数学的困惑与对话——这门学科自我更新的方式——正被悄悄抹去。 名句引用 「AI公司的目标与数学共同体的目标严重不一致。」——2026年9月11日25位菲尔兹奖得主联名声明《人工智能在数学中的严重错位》