丘成桐论文致谢ChatGPT与Claude，AI重塑纯数学研究

77岁的菲尔兹奖得主、华人数学泰斗丘成桐，正式在核心科研中用上了AI。

在学术预印本平台 arXiv 上线的一篇微分几何论文中，丘成桐作为署名作者之一，与团队在致谢部分明确感谢了 ChatGPT 与 Claude Pro。论文指出，这些大语言模型“为部分证明策略的探索与计算提供了有价值的帮助”。

此前，丘成桐曾多次公开表达对AI解决纯数学难题的保留态度。从早期的谨慎观望，到亲自在重要研究中落地应用，这位顶级学者的态度转变引发了学术界的广泛讨论。

破局经典几何难题

丘成桐是全球首位集齐菲尔兹奖、沃尔夫奖、克拉福德奖等顶级荣誉的数学家。27岁证明卡拉比猜想并开创“几何分析”学派的他，多年来始终站在纯数学探索的最前沿。近年来，他担任清华大学求真书院院长，全力投身国内基础数学顶尖人才的培养。

这次引发关注的论文，解决的是一个悬置数十年的几何难题。早在1956年，数学家米尔诺提出奇异球面理论，发现七维空间内存在28种拓扑结构相同、但光滑形态各异的球面。标准球面拥有均匀的正截面曲率，但其余27种奇异球面能否实现这一性质，悬而未决近70年，并在1982年被列入丘成桐的经典难题集。如今，借助AI模型的推演与辅助，团队宣布完成了对全部28种球面实现正截面曲率的证明。

这一突破也印证了丘成桐近两年来对技术演进的重新审视。他不仅推动筹备《AI辅助数学杂志》，还带领团队探索借助证明助手 Lean 与 AI 模型，推进庞加莱猜想的形式化证明验证。由纯人工脑力丈量边界的传统研究，正主动融入全新的智能生产力。

AI提速现代数学推演

丘成桐的选择并非孤例，AI正在以超乎预期的速度渗透数学核心领域。数据统计显示，在 arXiv 平台的数万篇数学论文中，借助AI完成实质性科研工作的论文比例，在过去半年内从不足2%飙升至14%以上，应用场景广泛覆盖复杂定理推导与证明构造。

在强大的逻辑推演、符号计算与并行试错能力加持下，AI开始介入过去耗时极长的人工推演：

证明形式化落地：在庞加莱猜想的验证项目中，研究团队借助 Lean 及大模型，将历史证明转化为数百万行可由机器检验的形式化代码，其中过半代码由AI直接协同生成，人类研究者更多转向顶层技术路线的把控与审查。
长周期难题突破：部分前沿大模型展示了对多年未决猜想的攻关能力，能在数天内生成上百页严谨的推导草稿，大幅压缩了学术界初期试错的时间成本。

工具能力的跃迁，正将原本依靠天赋与数年沉淀的纯脑力攻坚，部分转化为算力与模型调度能力的协同竞速。

工具迭代下的学术深思

随着AI推演能力的激增，学界在兴奋之余也伴随着审慎与焦虑。陶哲轩等多位菲尔兹奖得主曾联合呼吁，关注AI对传统数学理论建构的潜在冲击。如果研究者过度依赖模型快速给出判定结果，可能会忽略背后深层数学思想的提炼与完整理论体系的沉淀。同时，成果原创性界定、学术规范与人机贡献占比，也对现行科研评价体制提出了新挑战。

更为现实的问题在于核心工具链的自主可控。正如丘成桐所言，AI对于现代基础科学的作用，如同望远镜之于天文学。当前在纯数学研究中使用的大语言模型，绝大部分依赖海外顶尖闭源产品。对于本土科研团队而言，如何在用好前沿工具加速突破的同时，构建起自主可控的基础科研模型与算力底座，是比单一论文突破更为关键的长远命题。