热点的起点是10月上旬央视《高端访谈》：菲尔兹奖得主孔采维奇在接受总台记者专访时说，人工智能的发展速度确实远超他的预想。更抢眼的是他转述的另一位菲奖得主的预测：两年之内，人工智能就能全面超越人类数学家——说这话的，是2026年新科得主雅各布·齐默曼（Jacob Tsimerman）。他7月23日刚在费城国际数学家大会领奖，当天就在得奖记者会上宣布：很快入职OpenAI，方向是AI安全。央视网中国青年报微博
但把过去三个月几位菲奖得主的公开表态放在一起看，这场讨论的真实分歧并不在“取不取代”。AI把“解题”变得廉价之后，数学界真正稀缺、也真正没法外包的，是提出好问题、验证答案和深度理解——这正是理工科学生在AI时代需要重点培养的能力。
让数学家集体坐不住的，是OpenAI在10月上旬的一次“饱和式发布”：这家AI巨头一口气公开了700多份由未发布的内部模型生成的前沿数学证明，全网的第一反应是“AI要取代数学家了”。这批成果里最受关注的方向之一，是与素数分布相关的“准黎曼猜想”——人类在这个问题上近七十年几乎没有实质推进，而OpenAI这次声称做到了，一步推到了7/8的位置。但发布之后紧跟着就暴露了问题：不久他们便因基本的符号错误撤回了数篇预印本，其文字证明也被发现与形式化的Lean代码严重脱节。哔哩哔哩知乎小红书
真正的交锋发生在9月11日（当地时间）：陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主作为最初签署人，联合发表声明《人工智能在数学中的严重错位》。这份声明的核心并非“AI将摧毁数学”，而是一个更冷静的警告：AI公司把解决数学问题当作衡量模型能力的“基准测试”，与数学研究真正需要的东西之间存在着深刻的目标错位。在签署者们看来，以越来越快的速度批量生产“真/假”结论，可能不是在孕育新的思想，反而可能摧毁孕育思想的沃土。第一财经今日头条哔哩哔哩
与联名信方向相反的是齐默曼的选择：据报道，他当场宣布离开多伦多大学、加入OpenAI安全团队，理由是他认为AI很快将能完成数学家的大部分工作。数学之所以成为AI最先“攻城略地”的理科领域，机制上也确有特殊性——一个证明对不对，可以形式化、确定性地快速判定，不像多数实验科学那样依赖昂贵而模糊的现实反馈。而在10月20日上线的SAIR播客对谈里，陶哲轩与邓煜都对“支持或反对AI”的二选一不买账，他们一方面直指闭源AI切断“思维链”与思想传承的隐患，另一方面分享了加速推出开源数学AI模型的初衷与构想。今日头条小红书哔哩哔哩
两人还给这场争论划了一条更值得记住的分界线：过去，只要一个问题有了证明，就一定有人能理解它；但随着AI的介入，“已有证明的问题”与“我们能理解证明的问题”之间，划出了第二条边界，而当AI公司批量发布这些结果时，包括他们自己在内，并没有人能充分理解。数学家没有反对AI变强，他们反对的是只有答案、没有理解的知识生产。抖音
把这套争论翻译成学生的视角，就是一份能力清单。第一项，提问和定义问题的能力——AI能替你解出成千上万道题，但“哪道题值得解”始终是它给不了的答案。复旦大学校长金力在开学季分享了一位学生的回答：AI时代别再死磕标准答案，要练三件事——提好问题、练判断力、敢担责。联名信里也有一句可以给这份清单当理论依据的话：解决问题只是实现概念理解和洞察这一首要目标的工具和代理指标。大庆日报第一财经
第二项，验证与消化的能力。OpenAI这次“符号错误撤回”“文字与代码脱节”的教训说明，看得懂AI的输出、挑得出AI的错，正在从学术素养变成基础生存技能——形式化工具Lean就是这场人机协作的“监工”。有科学网博客转述的统计显示，OpenAI公布的719份数学解答中，仅10份披露了模型得出结论的推理过程，42%的证明未完成形式化处理。今日头条
第三项，不外包的思考过程本身。今年开学季，北京大学、复旦大学等多所高校校长不约而同地向新生发出提醒：警惕对AI的过度依赖，避免“认知卸载”和“虚假掌握”。北大校长高松说得更具体：AI可以整合已有的信息，却无法替代你对一个未知领域发自内心的好奇，也无法替代你在反复试错中形成的独立判断。中国教育报大庆日报
这已经不是小众的焦虑。复旦面向2026级新生的调研里，几乎所有受访同学都使用过AI工具，其中近八成已形成使用习惯。而一项覆盖全国400余所高校1953名本科生的调研显示，受访者使用AI的比例达到99.18%，超六成对合理使用的边界感到困惑，不到三成表示学校提供了系统的AI相关课程。大庆日报中国教育报
当然，“两年内全面超越”终究是一个还没有统一定义的预测——解竞赛题、证开放猜想、开创理论框架是三件不同的事，孔采维奇那句审慎的回应大概是最诚实的判断。作为联署人之一，邓煜那句“如果AI能解决所有数学问题，我就回家写小说”的玩笑随后被他本人收回：他不认为AI能够发展到解决所有数学问题的地步。今日头条
他的预期更平和：这一波浪潮过去之后，数学本身会慢慢适应，一个新的生态正在形成，情况要到未来一两年才会逐渐明朗。对理工科学生而言，结论反而清晰：当AI把答案的成本压向零，“会提问、能验证、真理解”就成了新的稀缺品——先学会驾驭工具，再学会独立于工具。今日头条
