"用'冲击'来形容已经不够，更像是海啸来了，我们要怎样应对。"
说这句话的人叫丘成桐，菲尔兹奖得主，研究了五十年数学。他不是在警告别人，而是在描述自己的处境——据自媒体"知识分子"的访谈，一年前他还没意识到AI具备如此强大的能力，近期的进展已经远超他的预期。
10月11日，他把答案摆了出来：不躲，去冲浪。
发生了什么
我把北京日报、新京报、科技日报、联合早报这几家对同一件事的报道对照着读了一遍，拼出了完整的图景。
10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。丘成桐牵头，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心等八家一流数学研究机构，汇聚超过1000名数学家和科研工作者。接下来还会在北京、上海、南京、深圳、香港五地组建数学人工智能实验室。
时间点很说明问题。就在五天前的10月6日，OpenAI一次性公开了722份由内部模型生成的数学研究手稿，涉及372组成果，包括对一些长期难题的推进。很多数学家指出，这些结果仍有大量证明需要独立核实——但冲击已经实实在在发生了。
丘成桐在成立仪式上的原话是："这是一个令学者们最兴奋的时代，也是最危险的时代。"他还说，自己从事研究五十年来见证了诸多伟大的数学进展，如今人工智能的威力比以往那些突破更令人震撼。
最值得注意的细节：他们没打算筑坝
面对海啸，直觉反应是筑坝——限制它、防着它、把它挡在学科外面。但翻遍联盟的任务清单，找不到一个字是"防"。
联盟现阶段的六项重点任务，联合早报梳理得很清楚：研发数学科学专用模型，在借鉴国际先进通用大模型的同时，自主开发中国数学领域的专用模型；建设AI辅助数学研究的基础设施，服务数学家群体；从基础数学方向切入，以理论创新支撑AI的可解释性与安全性；推动数学驱动的交叉领域突破，把研究范式拓展到量子计算、生命科学、金融经济……
丘成桐的态度是："我个人觉得，AI做得越好，对我们越有帮助。我们因此要在整个海潮上面冲浪，而不是躲起来避开它。"
这里面有一层少有人点破的逻辑：最懂数学的那批人，恰恰是对AI冲击感受最深的人——因为他们最清楚AI在数学上做到了什么。但他们的应对不是恐慌，而是分工。联盟任务里专门写了一条"保护数学家原创"。翻译过来就是：AI负责算力和执行，人负责提出真问题、发明新方法、核验真伪。机器越强，人的"原创"反而越值钱，前提是你站在自己该站的位置上。
丘成桐还有一个判断值得记住："人工智能领域的发展是指数级增长，而不是线性增长。"筑坝的人赌的是海啸会停，冲浪的人赌的是浪还会更大——然后把自己变成浪的一部分。
普通人怎么"冲浪"
我们大多数人不做数学研究，但"海啸来了"这件事，每个用AI工作的人都在经历。顶尖数学家的应对策略，其实可以原样平移过来：
第一，别躲。 不用AI的人不会被AI淘汰，但会被用AI的人淘汰——这话说了很多年，丘成桐的版本更狠：AI是指数级增长，你的观望是线性级的，差距只会越拉越大。
第二，借力，而不是硬拼。 联盟的做法是开放共享——模型训练资源、形式化数学库、算力平台向参与机构开放。个人也一样：你不需要自己造模型，你需要的是趁手的工具和把工具串起来的流程。我自己在AI家园 spark1.cn 的 /toolchains 里把"生成→核查"串成流水线，让AI干活、让流程把关，就是这个思路的最小版本。
第三，守住你的"原创"。 联盟专门把"保护数学家原创"写进任务，对应的个人版本是：判断力、提问能力、核验能力，这三样AI替你做得再多，最终签字负责的还是你。AI产出越流畅，你的核验习惯越值钱。
海啸对筑坝的人是灾难，对会冲浪的人是免费的推力。浪已经来了，选择权只剩一个：站在哪一边。
评论