計算機科學界近日迎來一場震撼學術圈的突破——由AI模型Claude獨立完成的圖論難題解法，被圖靈獎得主、算法領域泰斗高德納（Donald Knuth）正式收錄于其未完成的經(jīng)典著作《計算機程序設計藝術》中。這一成果不僅標志著生成式AI首次深度參與數(shù)學基礎研究，更引發(fā)學界對人類與機器協(xié)作模式的重新思考。

該難題源于高德納在撰寫《計算機程序設計藝術》新章節(jié)時提出的"三維哈密頓環(huán)分解"問題。研究者需在m×m×m的立方體網(wǎng)格中，找到三條互不重疊的哈密頓環(huán)路徑，每條路徑需恰好覆蓋所有3m3條有向邊且長度均為m3。盡管高德納此前已解決m=3的特例，其合作者也通過實驗找到4≤m≤16的解，但通用公式的推導始終未能突破。

轉機出現(xiàn)在Anthropic公司發(fā)布的混合推理模型Claude Opus 4.6接手研究后。該模型通過31次系統(tǒng)性探索，逐步排除簡單線性函數(shù)、暴力搜索等無效方案，最終在第15次嘗試中提出"纖維分解"關鍵思路——將三維結構按s=(i+j+k) mod m分層，轉化為二維網(wǎng)格問題。經(jīng)過16次迭代優(yōu)化，模型在第31次探索時提出基于"bump規(guī)則"的構造方法，成功生成符合要求的路徑。

高德納在斯坦福大學官網(wǎng)發(fā)布的論文中詳細記錄了這一過程。他特別指出，Claude的突破不在于最終解法，而在于其展現(xiàn)的研究范式：模型通過重新表述問題、設計實驗程序、發(fā)現(xiàn)數(shù)學規(guī)律，完整復現(xiàn)了人類數(shù)學家的探索路徑。這種"猜想-驗證-優(yōu)化"的循環(huán)，與傳統(tǒng)AI的暴力搜索或模式匹配形成鮮明對比。

驗證階段顯示，該解法在m為奇數(shù)時完全成立，但m為偶數(shù)時仍存在限制（如m=2已被證明無解）。高德納進一步證明，Claude發(fā)現(xiàn)的構造方法屬于760種等效解中的一種，這暗示著該領域可能存在更深刻的數(shù)學結構等待挖掘。目前，研究團隊正嘗試將模型擴展至四維空間及其他組合數(shù)學問題。

這一成果在學術圈引發(fā)連鎖反應。麻省理工學院數(shù)學系教授在評述中稱："當AI開始提出可驗證的數(shù)學猜想，而人類數(shù)學家負責嚴格證明時，傳統(tǒng)的學科邊界正在消融。"比爾·蓋茨早年關于《計算機程序設計藝術》的著名評價——"讀通此書者請投簡歷"——如今被賦予新的含義：未來的計算機科學家或許需要同時掌握AI協(xié)作與數(shù)學證明的雙重技能。

作為計算機科學奠基人之一，高德納的學術生涯始終與技術創(chuàng)新同步。他1977年為完善著作排版而開發(fā)的TeX系統(tǒng)，至今仍是學術出版領域的金標準；其提出的"文學編程"理念，更預見了現(xiàn)代代碼與文檔融合的開發(fā)模式。此次將AI研究納入經(jīng)典著作，再次印證了他對技術趨勢的敏銳洞察——在著作第五卷修訂時，他已預留章節(jié)討論自動定理證明的影響。