Claude震驚88歲圖靈獎得主 AI破解數(shù)學(xué)難題

小大

用微信掃描二維碼
分享至好友和朋友圈

關(guān)鍵詞：

2026-03-07 19:20:29 新浪財經(jīng)

Claude僅用31步就獨立攻克了一個未解的圖論猜想難題。算法界的祖師爺高德納對此表示震驚，并重新評估了生成式AI在數(shù)學(xué)研究中的作用。高德納是《計算機程序設(shè)計藝術(shù)》的作者，也是圖靈獎得主。

高德納在斯坦福大學(xué)官網(wǎng)上發(fā)布了一篇論文，開頭即表達了震驚之情。他在論文中提到，自己花了數(shù)周時間研究的問題被Claude Opus 4.6解決了。這個模型是由Anthropic公司在三周前發(fā)布的混合推理模型。高德納表示，他需要重新審視自己對生成式AI的看法。

高德納在《計算機程序設(shè)計藝術(shù)》系列書中準備了一道關(guān)于有向哈密頓循環(huán)的題，但一直未能解決。這個問題涉及在一個三維網(wǎng)格空間中找到三條長度為m3的哈密頓環(huán)，每條環(huán)覆蓋所有邊且互不重疊。此前，高德納和他的朋友Filip Stappers已經(jīng)找到了一些特殊情況下的解法，但通用解法一直未能找到。

Claude通過多次探索，最終提出了一個基于纖維分解的方法。具體來說，它定義s = (i + j + k) mod m，將整個圖按s分成層結(jié)構(gòu)，從而大大簡化了問題。Claude還提出了一套簡單的規(guī)則，稱為“bump”規(guī)則，根據(jù)s、i、j的情況決定移動方向。這種方法成功解決了m為奇數(shù)的情況，并得到了高德納的嚴格證明。

這一事件的意義不僅在于解題本身，更在于AI解題的方式。Claude通過重新表述問題、編寫程序和發(fā)現(xiàn)規(guī)律，展示了與人類研究非常接近的過程。這表明AI已經(jīng)開始參與真正的數(shù)學(xué)探索，未來可能會出現(xiàn)新的研究模式——人類提出問題，AI探索結(jié)構(gòu)，人類完成證明。

高德納是公認的算法分析先驅(qū)，他的《計算機程序設(shè)計藝術(shù)》記錄了人類算法思想的發(fā)展?，F(xiàn)在，AI被寫進了這位算法大師的論文中，這可能只是一個開始。高德納不僅是計算機科學(xué)教父，還是TeX排版系統(tǒng)的發(fā)明者，他對編程的理解不僅僅是技術(shù)，更是藝術(shù)。從神童到計算機科學(xué)全才，高德納的一生充滿了傳奇色彩。

(責任編輯：zx0001)

關(guān)閉

Claude震驚88歲圖靈獎得主 AI破解數(shù)學(xué)難題

相關(guān)新聞

今日熱點

頻道熱點