曙光就在眼前，但最后一步依旧无比艰难。人类数学家尝试构造辅助函数、寻找上下边界，可每到关键推导节点，算式总会出现奇异崩溃，始终跨不过这道坎。 2026年8月底，数学圈发生了一件耐人寻味的事。菲尔兹奖得主HugoDuminil‑Copin写下一段略带伤感的文字，感慨自己深耕多年的概率论难题，早晚要被AI这台“推土机”推倒。谁也没想到，预言几乎同步成真。 没有发布会，没有学术庆典，一份存放在GitHub仓库的代码悄然出现。Anthropic的Claude大模型借助Lean形式化工具，给出了渗流理论连续相变猜想的机器证明。一个足以拿下菲尔兹奖级别的难题，不是由钻研半生的数学家摘下果实，而是由人工智能跨过终点线。 消息传开之后，学界情绪分裂成两半：有人为难题终于破解感到欣喜，也有不少人心里涌上失落。这不是简单的“AI战胜人类”的故事，它真正叩问的是：数学研究的意义，到底是拿到最终答案，还是攀登路上的思考与创造。 一、一块海绵引出的世纪谜题 这个被称作概率论圣杯的猜想，源头来自一个十分生活化的想象：液体如何渗透一块多孔的海绵。 上世纪1957年，两位数学家提出渗流模型。我们可以想象一张无限延展的网格，网格之间的管道随机通畅或者堵塞。管道通畅的概率很低时，水流只能小范围扩散，永远无法穿透整块海绵；当概率足够高，四通八达的通道会形成贯穿整个网络的通路。 中间存在一个临界概率，就是系统发生相变的分界点，类似水0摄氏度结冰。核心疑问就此诞生：刚好卡在临界点那一刻，能不能诞生无限连通的水流？也就是学界关心的θ(pc)是否等于0。如果等于0，相变是平缓连续的；如果大于0，临界点会瞬间爆发巨大连通网络。 二维网格的答案早已经被证明，高到11维以上的空间，依靠统计平均工具，问题也得到解决。可偏偏是我们熟悉的3维到10维，成为一道叹息之墙。 三维对应我们真实生活的世界，四维对应相对论时空。这个区间既没有二维的几何对称性，又不能套用高维的简化手段，拓扑关系纠缠复杂。一代代顶尖学者投入大量时间，只能在草稿纸上推演，始终拿不出完整证明。无数人在这里碰壁，其中就包括2022年菲尔兹奖得主Duminil‑Copin。 他常年向这道难题发起冲锋，一次次失败，却在失败的推演中，催生大量全新思路，不少成果直接助力他拿下菲尔兹奖。在传统数学的浪漫叙事里，哪怕没能抵达终点，攀登过程诞生的新工具、新思路，本身就是巨大财富。 二、机器悄无声息完成临门一脚 戏剧性的转折，来自2024年两篇关键论文。两位以色列数学家把宏大的猜想，等价简化成一个特定代数不等式。只要证明这个不等式成立，困扰学界数十年的猜想就自动得证。 就在这时，Anthropic的工程师JustinLeder，用内部版本Claude，抓住了人类铺好的这块跳板。 很多人误以为AI靠算力暴力穷举答案，但无限维度问题，穷举根本行不通。Claude依托Lean证明语言严苛约束，调用大量已有的数学分析工具，走出一条人类没有想到的推理路径，构建数千行的逻辑闭环，把那个棘手的不等式完整证明出来。整套代码直接上传GitHub，没有大规模对外宣传。 宾夕法尼亚大学数学家AhmedBou‑Rabee验证这份成果之后，甚至借助AI，只用一天就完成证明的泛化改写。他感慨，有些自己埋头八年毫无进展的项目，如今距离完成只剩一步。 但学界并没有立刻全盘欢呼。给出关键简化思路的GadyKozma教授态度十分克制，公开表示暂时不做评价，期待团队拿出一份人类能够读懂的版本，讲清楚AI推理背后的逻辑。不少学者提出，机器代码可以验证每一步逻辑正确，可人类依旧看不懂AI究竟是怎么想到这条路径的。 德国数学家BenediktJahnel说得直白：如果这是人类完成的证明，极有希望拿到菲尔兹奖，但如今跨过终点的是AI。这份结果带来巨大喜悦，同时夹杂难以消解的幻灭感。人类守候半个多世纪的大门，被机器一把拧开。 三、失落背后：数学不止是拿到答案 很多人把这件事解读为数学家被AI取代，但顶尖学者的纠结，从来不是害怕失业。 Duminil‑Copin曾经写过，数学猜想不只是等待解开的题目。它像黑夜里的灯塔，是陪伴学者的精神向导。即便反复失败，推演中迸发的想法，往往会打开全新研究方向。回望数学史，费马大定理的攻坚，推动代数几何大步向前；对黎曼猜想的求索，搭建起解析数论的大厦。真正推动学科扩张的，常常是人类为了解决难题，被迫创造出来的全新工具。 AI可以给出严密正确的证明代码，却不会在碰壁中发散出新研究方向。它没有迷茫，没有深夜苦思的顿悟，没有审美取舍，只是沿着逻辑链条完成闭环。机器输出正确结果，但不会告诉人类“为什么要朝这个方向思考”。 这也是近期大量数学家集体反思的根源。9月，包括陶哲轩在内数十位菲尔兹奖得主联名发声，提醒行业警惕AI公司把攻克猜想当作跑分竞赛。一味追求破