菲尔兹奖双星引清北数学之争，AI 成下一战场

2025 年 7 月 23 日深夜，菲尔兹奖结果揭晓，王虹与邓煜同时获奖，二人均为北大数院 2007 级本科同学。这是首次有在中国本土完成本科教育的数学家获菲尔兹奖，且同年有两人获奖。消息公布后，丘成桐在清华公开活动上公开邀请二人赴求真书院任教，清北在数学领域数十年的竞争再度成为舆论焦点。而这轮较量的新前沿，已经从竞赛金牌转向了 AI。

数十年学术角力：从院系调整到菲尔兹奖

1952 年全国院系调整，清华数学系整体并入北大，清华数学此后断档近 30 年。改革开放后，丘成桐自 1979 年起多次回国讲学，最初重点支持北大。2005 年，丘成桐公开批评北大数学研究中的学风问题，与弟子田刚决裂，转而在 2009 年落地清华建立数学科学中心。

随后，清华推出丘成桐大学生数学竞赛、英才班与求真书院「数学领军计划」，从初中阶段选拔数学天才。北大则凭借数十年积累保持优势——全国数学奥赛金牌选手 80% 最终进入北大，韦东奕等代表人物长期留校任教。

AI 数学：清北正面交锋的新赛道

丘成桐曾表示，大模型推理能力的瓶颈本质上是数学能力的瓶颈。围绕这一判断，双方均在 AI 数学方向投入重兵。

• 清华方向：与腾讯混元合作推出 STARE 算法，针对大模型解答数学题时「中间步骤错导致全错」的问题，在 AIME24 与 AIME25 基准上把准确率提升 4%–8%；唐杰团队创立的智谱 AI，数学能力长期处于国产大模型第一梯队；杨植麟创办的月之暗面 Kimi 发布的 K3 模型，据称数学能力已接近 Fable 5 与 GPT-5.6 Sol 的水平。
• 北大方向：与北京通用 AI 研究院合作推出 TongGeometry 几何大模型，建设全球最大几何定理库，重点攻克 IMO 几何难题；据报道，此前发布的、能拿下 IMO 金牌的 M3 模型，核心团队中亦有北大数院背景成员。

2025 年 WAIC 世界人工智能大会上，丘成桐亲自出题对国内头部大模型进行闭卷测试，结果各家模型得分仍然胶着。

学术研究 vs 产业落地

从产业落地角度看，清华系在国产大模型阵营中占据明显份额——智谱、Kimi 等头部产品背后均有清华数学与计算机背景团队支撑。北大团队的 AI 数学工作更偏重基础研究，TongGeometry 等成果集中在定理证明与几何推理领域，在商业化大模型赛道上稍逊一筹。

陶哲轩的判断：数学进入「证明过剩」时代

菲尔兹奖得主陶哲轩在斯坦福的演讲中指出，数学已从「证明稀缺」进入「证明过剩」时代——AI 一天可生成数十篇顶刊水平的证明，产出速度已超过人类验证能力。就在一年多以前，陶哲轩还批评 AI「算 10 道题错 8 道」。其态度转变之快，本身就是 AI 数学能力快速跃迁的注脚。

清北争了数十年的输赢，在 AI 面前被拉回同一条起跑线。AI 主导数学研究的时代正在到来，这或许才是所有数学家真正要面对的未来。