88岁「算法祖师爷」高德纳挖下的「哈密顿分解」大坑，终于被AI联手填平。

三周前，Claude Opus 4.6在31次探索后，用一套简洁规则解决了m为奇数的情形，令高德纳在论文开篇直呼「震惊」。

但奇数只是半壁江山，偶数情形仍悬而未决。转机出现在3月4日，研究者Ho Boon Suan借助gpt-5.3-codex生成算法，成功实现了所有m≥8偶数情形的分解，并验证了高达m=2000（含80亿顶点）的庞大图结构。

真正的高潮随即到来。Ho向GPT-5.4 Pro下达终极指令，要求其严格证明偶数算法的正确性。GPT-5.4 Pro直接输出一篇排版精美、逻辑严密的14页学术论文，采用高德纳本人发明的TeX标准，并通过Lean形式化验证——Ho称连一个标点都无需修改。

集大成者是研究者Keston Aquino-Michaels，他构建了精妙的多智能体协作工作流。

两个Agent独立运行：Agent O负责奇数情形的符号证明，Agent C专攻偶数情形的具体解；两者不直接对话，由人类引导的Orchestrator居中调度、判断何时传递何种信息。当Agent O在偶数情况卡壳，Orchestrator将Agent C的解传递过去，Agent O立刻识别出关键模式，困扰数十年的奇偶全解就此被彻底凿穿。

「我们的确生活在一个非常有趣的时代。」这次填坑，标志着科研范式的根本转折——人类负责定义问题边界与验证审美，AI负责在无限试错中寻找路径。数学家最珍贵的能力，已从算力转向「提出问题的直觉」。

下一个被凿穿的世纪难题，或许已在路上。

论文地址：http://t.cn/AXVhOqNm