丘成桐谈AI与数学：工具尽可复用，真理必须自悟

2026-11-07silcano

先说清楚这篇文章的分量

丘成桐——菲尔兹奖、克拉福德奖、沃尔夫奖大满贯，近代最伟大的几何学家之一——专门写了一篇《关于AI与数学的思考》。这不是蹭热点的意见稿，而是一位顶级数学家对"AI到底动了谁的奶酪"的全局判断。精读下来，最难得的是：他既不恐慌，也不盲目叫好，每一条都踩在认知的要害上。以下是全文精华，尽量原汁原味。

一句话总纲：拥抱AI工具，坚守人类初心

大众最大的误读，是以为丘成桐警惕、排斥AI。恰恰相反——他全文的基调极其明确：拥抱AI，善用算力红利，但守住科学本源。开篇就立了最高准则：

"探寻宇宙客观真理是压倒一切的优先目标。黑猫白猫，只要能得到真理，结果最重要。"

AI负责海量演算、定理核验、反例构造、文献梳理这些机械性工作，把研究者解放出来。但有一条不可逾越的红线：工具可以辅助求真，理解真理、洞察真理、开创真理的能力，永远属于人类。

全文最锋利的一个框架：AI是积分，人类是微分

这是丘成桐区分人机创新本质的原创论断：

"基础科学的进展，是少数人思考带来的微分进步；人工智能是积分效应，聚合人类有史以来所有的知识与思考。"

• AI的积分式进步：所有能力都建立在人类已有知识之上，整合、拼接、插值、延伸存量定理。它擅长解答既定问题、完善已有理论，但永远跳不出人类划定的知识边界。
• 人类的微分式开创：真正的科学突破不是旧知识叠加，而是从零到一的范式跃迁——笛卡尔创解析几何、牛顿建经典力学，都是在知识空白的迷雾中，靠猜想、思辨、审美、洞察搭建全新的思想坐标系。

由此他给出一个扎心的判断：

"AI对问问题这件事并不太在行。现在它所能做的，是解答一些已经存在的问题。"

解题是被动执行，提问是主动创造。只会解题、不会提问的科研，永远只能跟随。

行业现状的一针见血：大模型的短板，本质是数学的短板

面对大模型堆参数、卷应用的现状，丘成桐点破本质：工程暴力在弥补理论缺失。

"很多AI方法并不自然，是因为底层的数学理论还没有完全理顺。"

模型可以拟合现象、输出结果，但因为缺少严谨的数学底层支撑，无法理解因果、洞悉结构——只有"结果"，没有"认知"；只有"拟合"，没有"洞察"。下一代AI的核心方向，在他看来是深耕数学原生智能：依托形式化数学、拓扑几何、符号推理，构建懂机理、可溯源、可证明的智能体系。

他划定的人机分工非常干脆：AI负责化简遍历、海量试错、机械演算、定理核验；人类负责提出猜想、搭建框架、思辨机理、判定价值。用他的原话收束：利用归利用，理解归理解。工具尽可复用，真理必须自悟。

对当下的警示：应用繁荣 ≠ 科学强大

对照国内科研生态，丘成桐的提醒相当清醒：我们的优势集中在应用层——微调、落地、适配，快而广；短板卡在底层原创——缺自主数学推理体系、缺原始命题、缺范式级理论突破。

AI是指数级迭代的技术革命，不是线性追赶。以线性思维追赶指数浪潮，最终丢掉的不是技术差距，而是问题定义权、标准制定权、科学话语权。长期依赖外来数学底座和既定命题，应用再繁华，也只是在别人搭好的地基上修房子。

一个细节：丘成桐自己也在用AI

在他的新论文《Positive Sectional Curvature on All Smooth 7-spheres》中，研究团队明确致谢：ChatGPT6 Astra 与 Claude Pro 帮助探索了部分证明思路与计算，最终的验证与阐释仍由作者负责。大师用AI的方式，本身就是那篇文章的最好注脚——用它探索，不让它代言。

给普通人的四条启示

跳出数学圈，这套思考同样成立：

1. 善用工具，绝不依附工具——保留亲手推演、深度思辨的习惯，别让"AI依赖症"偷走你的直觉。
2. 跳出解题思维，重塑提问能力——AI越来越擅长解题，提出真问题的人越来越值钱。
3. 深耕底层，筑牢根基——所有技术突破的终局都是基础学科的突破，拒绝浮躁的内卷。
4. 守住求真初心——机器可以包揽计算、拟合、验证、生成；猜想的灵感、范式的开创、问题的定义，永远是人类独有的核心资产。

一句话收尾：浪潮奔涌，机器可以计算潮汐；去往何方，要由人来抉择。

本文为丘成桐《关于AI与数学的思考》一文的精华提取与梳理，原观点归属原作者；结合公众号精读文章整理。首发于无尘阁（jiangtian.top）。