計算機科學界近日迎來一場震撼學術圈的突破——由AI模型Claude獨立完成的圖論難題解法，被圖靈獎得主、算法領域泰斗高德納（Donald Knuth）正式收錄于其未完成的經典著作《計算機程序設計藝術》中。這一成果不僅標志著生成式AI首次深度參與數學基礎研究，更引發學界對人類與機器協作模式的重新思考。
該難題源于高德納在撰寫《計算機程序設計藝術》新章節時提出的"三維哈密頓環分解"問題。研究者需在m×m×m的立方體網格中，找到三條互不重疊的哈密頓環路徑，每條路徑需恰好覆蓋所有3m3條有向邊且長度均為m3。盡管高德納此前已解決m=3的特例，其合作者也通過實驗找到4≤m≤16的解，但通用公式的推導始終未能突破。
轉機出現在Anthropic公司發布的混合推理模型Claude Opus 4.6接手研究后。該模型通過31次系統性探索，逐步排除簡單線性函數、暴力搜索等無效方案，最終在第15次嘗試中提出"纖維分解"關鍵思路——將三維結構按s=(i+j+k) mod m分層，轉化為二維網格問題。經過16次迭代優化，模型在第31次探索時提出基于"bump規則"的構造方法，成功生成符合要求的路徑。
高德納在斯坦福大學官網發布的論文中詳細記錄了這一過程。他特別指出，Claude的突破不在于最終解法，而在于其展現的研究范式：模型通過重新表述問題、設計實驗程序、發現數學規律，完整復現了人類數學家的探索路徑。這種"猜想-驗證-優化"的循環，與傳統AI的暴力搜索或模式匹配形成鮮明對比。
驗證階段顯示，該解法在m為奇數時完全成立，但m為偶數時仍存在限制（如m=2已被證明無解）。高德納進一步證明，Claude發現的構造方法屬于760種等效解中的一種，這暗示著該領域可能存在更深刻的數學結構等待挖掘。目前，研究團隊正嘗試將模型擴展至四維空間及其他組合數學問題。
這一成果在學術圈引發連鎖反應。麻省理工學院數學系教授在評述中稱："當AI開始提出可驗證的數學猜想，而人類數學家負責嚴格證明時，傳統的學科邊界正在消融。"比爾·蓋茨早年關于《計算機程序設計藝術》的著名評價——"讀通此書者請投簡歷"——如今被賦予新的含義：未來的計算機科學家或許需要同時掌握AI協作與數學證明的雙重技能。
作為計算機科學奠基人之一，高德納的學術生涯始終與技術創新同步。他1977年為完善著作排版而開發的TeX系統，至今仍是學術出版領域的金標準；其提出的"文學編程"理念，更預見了現代代碼與文檔融合的開發模式。此次將AI研究納入經典著作，再次印證了他對技術趨勢的敏銳洞察——在著作第五卷修訂時，他已預留章節討論自動定理證明的影響。
