中国数学家邓煜笑言：如果AI能解出所有数学题，他就回家写小说去

你见过顶尖数学家撂这么有意思的狠话吗？2026年9月，25位历届菲尔兹奖得主联名发文怼科技巨头，大半个当代数学圈都站出来表态，直指资本拿数学未解之谜炫技的做法，正在毁基础学科。这里头最出圈的就是新科菲尔兹奖得主、中国数学家邓煜，没说啥官话套话，就留了句玩笑：AI要是能解完所有数学题，我就回家写小说去。

这句玩笑看着轻松，背后藏着整个数学圈都悬着的心。这事儿的导火索，是有资本雄厚的科技巨头靠堆海量算力，直接把千禧年难题NS方程给做了“证明”。说白了就是别人种了几十年树，他直接冲进来摘桃子，换谁谁能忍啊，直接把全球顶尖脑袋都给惹毛了。

大家吵来吵去，核心从来都不是AI会不会算，而是AI就算算出了答案，它真的“懂”数学吗？不少人都好奇，如果换作最难的黎曼猜想，AI真能解决的话，会是怎样一副场景。

第一种可能性，就是AI跨领域找关联比人灵光多了。人要碰出跨领域的灵感，还得靠吃饭偶遇这种巧合，比如当年蒙格玛利和戴森那段名场面。蒙格玛利是研究数论的，当时在琢磨黎曼ζ函数零点的统计规律，写出公式之后，物理学家戴森吃饭的时候一眼就认出来，这公式他们研究原子核能级的时候早就见过了。

两个八竿子打不着的领域，居然藏着一模一样的统计规律，这不就撞出了一个全新的探索方向吗？这种可遇不可求的巧合，AI根本不需要等，它本来就能同时精通好几个完全不搭边的领域，一眼就能看出相似性。要是黎曼猜想的解法本来就靠这种跨领域连接，那AI说不定真能成。

还有另一种可能性，可以拿费马大定理来参考。这个问题说出来小学生都能听懂，可真要把它解出来，靠的是几百年一步步攒出来的两座理论大山，一座是椭圆曲线，一座是模形式，得先把这两座山都建完，才能把它们连起来解决问题。

要是黎曼猜想的最终解法，也得从零搭建起这么一座全新的理论大山呢？那这种搭建新理论、提出全新核心问题的能力，跟现在AI展现出来的能力，根本就不是一个路数。要是AI真能做到这份上，那说它超越人类顶尖智能也没毛病。

还有第三种更接地气的可能，就是AI纯靠蛮力硬堆，整出个几千页的证明出来，逻辑没错，结果也对，就是没人能读得懂，更没人能从里面学到任何新东西。我们研究数学要的从来都不是一个干巴巴的答案啊，我们要的是能启发后人的清晰思路，是把复杂规律压缩成简洁本质的洞见。

就像牛顿的万有引力定律，一句话就能说清天体运行的本质，这才是我们追求的好结果，不是一本厚得能砸伤人的无人能懂的证明稿。现在圈子里挺流行“压缩即智能”这个说法，越简洁的表达，预测力越强，才越配得上叫真正的智能。

现在很多资本评价AI解题，只看有没有出结果，根本不关心解法够不够简洁，能不能给人类带来新启发。这种评价标准本来就歪了，要是一直这么玩，只会鼓励AI堆算力出没用的垃圾结果，出不了真正能推动人类进步的东西。

不少人觉得，就算AI会解题，解读证明这件事总该留给人类数学家了吧？真不见得，现在AI提炼总结、把复杂思路讲明白的能力，已经比很多普通学者强了。未来人类数学家说不定真得转个型，换个新活干。

最多人认可的新方向，就是当数学世界的“策展人”。AI解出题目相当于创作好了艺术品，AI甚至能自己把说明讲解都做得漂漂亮亮。可在近乎无穷多的想法里面，还是需要有人帮普通人导航，告诉大家哪些方向真的值得花时间去探索，哪些地方藏着有意思的新东西。

激发人类探索欲这件事，本身就是人和人之间的社交互动，AI做得再标准完美，人类还是更愿意信任和自己同频的同类。这场闹得沸沸扬扬的联署，说白了根本不是数学家怕丢饭碗，是怕资本拿着蛮力算力，毁了人类刻在骨子里的求知精神。

邓煜那句回家写小说的玩笑，哪里是真的打算躺平，根本就是顶尖学者最硬的坚守。技术可以帮我们包办所有枯燥的试错环节，可那种在迷雾里摸爬滚打半天，突然灵光一闪的数学直觉，技术永远都拿不走。

要是真放任资本这么无序玩下去，以后整个领域都只看结果不重探索，把理解过程和最终结果的纽带给割断了，那留给纯粹数学家的空间，真就只剩下文学虚构里那点属于人类文明的浪漫了。到那时候，邓煜这句玩笑，搞不好真就成了现实。

参考资料：人民日报 全球顶尖数学家联署反对资本无序介入基础学科研究