2026年9月17日，英国数学家、菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）发表长篇博文，公开解释自己为何拒绝在一份震动学界的联名信上署名。就在6天前的9月11日，陶哲轩（Terence Tao）、彼得·舒尔茨（Peter Scholze）、阿莱西奥·菲加利（Alessio Figalli）及塞德里克·维拉尼（Cédric Villani）等25位当代顶尖数学家在 mathandai.org 发布公开信（分配有DOI编号 10.5281/zenodo.22737750），尖锐抨击商业AI团队把历史难题当作刷榜基准与公关工具，速产海量缺乏论证细节的判断，正在摧毁数学赖以生存的人才根基。
高尔斯在博文中明确表示，自己认同数学界正面临深重危机，但联名信开出的诊断药方存在根本偏差。这场交锋迅速撕开了顶层象牙塔的温情面纱：学界面对AI的真实焦虑，不仅是机器能否做题的技术问题，更是一场关于数学研究终极价值、学术门阀评价机制与基础资助分配的阶层裂变。
拒绝签名的菲奖得主与心智光谱之争
公开信的核心立论建立在一种近乎崇高的认识论之上：做题仅仅是达成概念理解与深刻洞见的工具，AI加速量产真假判断，将彻底破坏孕育新思想的土壤。高尔斯的反驳直接切中了这一论调的偏颇之处。他在25年前的经典文章《数学的两种文化》中就曾梳理过，数学家群体从来不是铁板一块，而是分布在一个宽阔的心智光谱上。
一端是公开信作者所代表的“概念派”，做题只是为了搭建宏伟的理论架构；另一端则是庞大的“做题派”，概念理解不过是攻克具体难题的手段。高尔斯指出，公开信实际上在推行一种单一的审美霸权，暗示只有追求宏大概念体系才是高尚的，这无形中否定了广大以解题为天职的学者价值。
为了防止舆论将他划入科技巨头的利益同盟，高尔斯在文中特意作出了利益声明。他承认自己与OpenAI数学组保持交流，曾提前数天测试未发布的新模型，并拥有发布后的免费Pro权限，但他强调自己从未接受过OpenAI的任何经济报酬。
更具讽刺意味的是，高尔斯长期在剑桥大学领导自动定理证明研究小组，试图通过拆解人类推演机制教计算机证明定理。但大模型的蛮力突破，直接让他吞下了理查德·萨顿著名的“苦涩的教训”——黑盒算力轻易绕过了人类数十年积累的认知启发法。他的研究动机在技术上被大模型抽空，立场上本该最反对AI，却反而站在了联名信的对立面。
致命的现实断层：青年学者与科研资助的坍塌
公开信签名者之一、苏黎世联邦理工学院教授阿莱西奥·菲加利随后在接受母校访谈时强调，即便AI给出的证明可以被形式化系统验证，也无法替代数学直觉的传递，它剥夺了年轻学生在漫长痛苦摸索中建立认知的必要历程。但这番对精神纯洁性的捍卫，掩盖了更残酷的现实困境。
牛津大学教授莱斯利·安·戈德堡（Leslie Ann Goldberg）敏锐指出了学术生产链条的断裂：在传统数学界，博士生与青年学者正是通过攻克中等难度的开放问题，撰写长篇论文，进而确立学术声誉、换取助理教授教职。当商业大模型能够在极短时间内批量化解这类问题，青年学者赖以晋升的评价阶梯被彻底砸碎。
更为紧迫的是科研资金的政治经济学。当政府拨款机构与大学决策层看到商业软件可以低成本产出定理，最直观的官僚反应并不是惊叹于机器缺乏直觉，而是削减纯数学的基础科研预算。青年学者极有可能沦为AI产出粗糙证明后的“验题员”与“润色工”，承担繁重核验工作却无法获得相应的学术认可。
- 风险.如果解题被软件工业垄断，资助机构将误以为数学探索不再需要漫长的学徒期，从而在预算层面切断下一代数学家的培养通道。
象牙塔的防御战与退无可退的生态位
面对25位顶尖学者的同仇敌忾，学界内部并非只有赞同之声。加州大学伯克利分校学者利奥·帕切特（Lior Pachter）发表了措辞极其尖锐的批评，直指这封公开信充斥着学术建制的精英特权与行业保护主义。
帕切特指出，公开信将传统数学共同体描摹得过于理想化。在AI介入之前，传统数学界本身就充斥着行文晦涩、拒绝细致解释、甚至在同行评审中抢夺引注与署名权的陈规陋习。顶层数学家将自身体系内长久存在的解释力不足与门阀垄断，转嫁为外部AI公司的野蛮入侵，本质上是在用宏大的认识论口号掩盖利益分配的守旧诉求。
当产出证明的边际成本趋向于零，数学家的价值只能退守至鉴赏、设问与重构。
这一幕在近代科学史上并不陌生。十九世纪照相术的诞生曾引发古典画师对造型艺术已死的哀鸣，但它最终逼迫绘画转向印象派与现代主义，去开辟人类观察世界的全新维度；二十世纪七十年代手持电子计算器的普及，也曾引发数学教育界关于心算能力退化的长期恐慌。
高尔斯提出的推论更加务实：试图要求科技巨头停下商业竞赛、甚至由学界委员会审批才允许解题的设想完全脱离现实。当生产定理不再是人类的专有特权，数学家的核心生态位被迫发生位移。衡量一位学者的标准，将从“谁能率先证明一个问题”，转变为“谁能提出具有深远启发性的全新猜想”，以及“谁能将黑盒计算出的结论缝合进文明的认知脉络之中”。
- 结论.抵制模型跑分无法挽救旧日的学术机制，重构针对青年学者的评价体系、设立强制性AI引注标准，才是应对算力冲击的唯一生存路径。
接下来值得密切跟踪的，不是科技巨头是否会放慢宣传节奏，而是各大数学核心期刊与学术协会何时出台针对AI生成定理的归因与形式化审核规范，以及各国基础科研基金在下一轮预算周期中对纯数学博士生名额的核定态度。这才是真正决定数学命运的胜负手。