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

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

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

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

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

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

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