計算機科學泰斗高德納近日在斯坦福大學官網發布重磅論文，宣布其耗費數十年研究的圖論猜想被AI模型Claude Opus 4.6攻克。這位以《計算機程序設計藝術》享譽全球的圖靈獎得主在論文開篇連用兩個"Shock"表達震驚，直言該成果將重新定義生成式AI在數學研究中的價值。

這項始于上世紀60年代的數學難題，源于高德納在撰寫《計算機程序設計藝術》時提出的特殊圖論結構。研究聚焦于三維網格空間中的有向哈密頓環問題：在一個m×m×m的立方體中，每個頂點擁有三條指向不同方向的出邊，要求找到三條互不重疊的哈密頓環，且每條環恰好覆蓋所有邊。盡管高德納本人已解決m=3的特例，其合作者通過實驗找到4≤m≤16的解，但通用解始終懸而未決。

突破發生在Anthropic公司發布的混合推理模型Claude Opus 4.6接手研究后。這個AI系統歷經31次系統性探索，逐步排除簡單函數、暴力搜索等無效方案，最終通過"纖維分解"理論取得關鍵進展。該模型發現將三維空間按s=(i+j+k) mod m分層后，可將復雜問題轉化為二維網格的路徑規劃，進而提出基于"bump規則"的構造方法。經程序驗證，該方法在m=3,5,7,9,11等奇數情況下均能生成符合要求的哈密頓環組合。

高德納在論文中詳細記錄了人機協作過程：Claude負責提出構造性算法，人類數學家則完成嚴格證明。研究揭示該問題存在760種等效解法，但所有方案均依賴特定的模運算結構。值得注意的是，當m為偶數時問題仍無解，m=2的情況已被證明無解，這為后續研究留下新的懸念。

這項成果在學術界引發連鎖反應。比爾·蓋茨曾斷言"能讀完《計算機程序設計藝術》的程序員值得錄用"，如今這套持續更新半個世紀的巨著首次納入AI研究成果，標志著數學研究范式的轉變。高德納特別指出，Claude的突破不在于計算速度，而在于其展現出的類人研究思維——從問題重述、規律發現到算法驗證，整個過程與人類數學家的工作模式高度契合。

現年88歲的高德納仍保持著驚人的學術活力。這位發明TeX排版系統、開創文學編程范式的傳奇人物，其研究軌跡折射出計算機科學的發展脈絡。從1963年加州理工學院數學博士，到斯坦福大學終身榮譽教授，他獲得的百余項榮譽中，最特殊的當屬朋友為其取的中文名"高德納"——這個由姚期智夫人姚儲楓在1977年贈予的名字，如今與AI突破共同載入計算機科學史冊。