86岁的算法大师 Donald Knuth,终于把自己当年挖的一个大坑填上了。
这个困了学界很久的哈密顿分解问题,被解出来了。但这次,不是人硬算出来的。研究员让两套AI一起干活: Claude 负责找路径,GPT-5.4 负责一条条验证、整理逻辑、写成严谨证明。两个AI模型来回拉扯,最后硬是把这道题凿穿了。GPT最后直接交了一篇14页的完整论文,结构、推导、证明都很规范,连专业圈子都挑不出明显问题。Knuth看完,只给了一个评价:没毛病。
看完以后只有感慨,感觉过去很多看起来高大上的科研只是在充算力。。。