86岁的计算机算法泰斗高德纳刚刚填平了他自己挖的坑。
复杂的哈密顿分解问题终于迎来了全解。
破局者是两个互相交接工作的AI模型。

解题过程就是一场高强度的左右互搏。
研究员把 Claude 4.6 和 GPT-5.4 扔进同一个任务流。
Claude 负责疯狂搜索寻找潜在路径。
GPT 负责严谨验证并生成代码逻辑。
奇数与偶数的终极分解方案被机器硬生生凿穿。

GPT-5.4 Pro 的最终交付动作极其干脆。
它直接甩出了一篇14页的完整数学论文。
排版格式完全对标顶级学术规范。
推导证明连 Lean 社区的专家都挑不出毛病。
高德纳看后承认这份作业毫无破绽。

旧时代的科研是算力不够只好大脑来凑。
现在的顶尖学者直接转行当了学术包工头。
他们只负责圈定那块最难啃的骨头在哪。
枯燥的试错黑洞全留给机器去填补。

这位传奇大佬在短文末尾只留了一句感慨。
我们确实生活在极其有趣的时代。
https://x.com/i/status/2038388810157826467