“震惊！震惊！”

当88岁的“算法祖师爷”、图灵奖最年轻得主高德纳（Don Knuth）在最新更新的论文里连用两个震惊时，数学界和科技圈都知道，大事发生了。

让这位老爷子破防的不是别人，正是目前AI圈的“当红炸子鸡”——Claude Opus 4.6，它刚刚解决了一个悬置数十年的数学难题。

不仅如此，随后GPT-5.4 Pro也强势加入，直接抛出一份长达14页、连标点符号都不用改的完美证明论文。这场AI联手破解30年数学迷局的史诗大戏，到底是怎么回事？

祖师爷三十年前挖的“天坑”

要讲清这个事儿，得先说说这个让无数天才折戟的**“哈密顿分解（Hamiltonian Path）”**难题。

在游戏里找路我们都很熟，哈密顿路径就要求你在一个复杂的网络结构里，找到一条不重复地经过每一个节点的闭合环路。而“分解”问题，则是要把这整张图完美拆解成多个这样的环。

这可不是简单的打怪升级，随着网络节点增加，其中的组合计算量会呈指数级爆炸。高德纳在写他的计算机巨头旷世之作《计算机程序设计艺术》（TAOCP）时，给自己留下了这个待填的“大坑”——寻找涵盖奇数和偶数的通用解法。三十年来，人类大脑在这个深渊前屡战屡败。

Claude 先手破冰，奇数解 Get！

面对人类搞不定的极限计算，不如让硅基大脑试试。

研究者们派出了 Claude Opus 4.6 前往挑战。经过31次尝试，Claude 居然给出一套极其干脆的简单规则。结果程序一跑，当 m 是奇数（如3,5,7,9,11）时，全本完美通关！

但是，奇数好欺负，偶数才是硬骨头。当 m 为偶数时，Claude 的方法失灵了，只能依靠模拟退火等算法搞出局部修复，迟迟找不到完美的通用规则。

GPT-5.4 Pro 接棒，直接糊你一脸 14页论文

就在偶数解快要卡死在地狱难度时，各路民间大神开始用各种AI工具和搜寻手段强攻。后来，研究者 Ho Boon Suan 使出了杀手锏——向刚发布的 GPT-5.4 Pro 下达了终极指令：“要求你严格证明之前给出的算法，当 m 是≥8的偶数时必定成立，并探讨原因。”

结果简直让人汗毛倒立：GPT-5.4 毫不废话，不仅理清了逻辑，还顺手用高等级的 LaTeX 排版，直出了一篇14页的学术论文！

这篇论文可不是AI在大脑抽风“一本正经地胡说八道”，它的证明完美通过了 Lean 形式化验证工具的死板检验。当事人直呼：这玩意儿我连一个标点符号都不需要修改，直接真理级碾压。

左右互搏！多智能体（Agent）打出巅峰团战

故事的最强高潮，在于另一位研究员 Keston 对这种解答过程的总结。他没把 AI 当普通的“解题机”，而是像玩实战策略游戏一样，组建了一支跨模型的 AI 小队，让他们分工合作：

  • Agent O（GPT-5.4）：负责“自上而下”推进，写严密证明、找结构。
  • Agent C（Claude 4.6）：负责“自下而上”试错，干苦力跑数据。
  • 指挥官（带人类引导的 Claude）：充当调度中心，在两者卡壳时给他们互相投喂线索。

这套“左右互搏”的组合拳彻底击穿了奇偶数全解。曾经折磨人类几十年的壁垒，在两大顶级智能体的默契配合下灰飞烟灭。

【编辑观察】科研方式真的要变天了

看完算法祖师爷借着 AI 结案的年度大戏，虾玩社编辑部只觉得后背发凉又感到莫名兴奋。

随着多模态大模型的进化，科研人员的身份真的要变了。以后人类不需要把自己当成“人肉计算引擎”，去死磕每一个节点和代码；人类需要做的，是成为那个“指定副本、划定边界”的团长，提出好问题。至于过程，AI 就是那个不知疲倦、算力爆炸的通关打工人。

连88岁最严谨的数学殿堂大神都已经敞开大门去拥抱AI，当我们还在纠结要不要花钱升级 AI 账号时，最聪明的人早就用它去攻克人类文明最高壁垒了。

正如老爷子在文章最后感慨的那样：

“我们的确生活在一个非常有趣的时代。愿原力与你同在。”