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

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

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

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

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

这位传奇大佬在短文末尾只留了一句感慨。 我们确实生活在极其有趣的时代。