圖靈獎得主震驚：克勞德一小時破解克努斯數十年未解的數學難題

首頁

新聞

2026-03-13

GeorgeMiller

圖靈獎得主震驚：克勞德一小時破解克努斯數十年未解的數學難題

在計算機科學領域，鮮少有人能像圖靈獎得主唐納德·克努斯這般完美體現「邏輯」與「嚴謹」的理想。這位傳奇學者不僅撰寫了程式設計師的聖經《計算機程序設計藝術》，更創建了TeX排版系統，且以拒收電子郵件聞名。然而近期，他卻對人工智慧展現出驚嘆不已的態度。在其最新論文《克勞德的環路》中，他驚嘆於克勞德4.6版如何僅用六十分鐘，便解決了他苦思數週的數學難題——該問題根源可追溯至三十年前。

這道令克努斯著迷的圖論難題，旨在將三維網格圖中的所有弧線劃分為三個互不相交的哈密頓回路。當克努斯的同事將此題提交給克勞德時，出現了驚人轉折：這套人工智慧未採用記憶解法或窮盡搜索，而是展現出卓越的結構推理能力。

克勞德從初始探索起步，歷經十五次嘗試引入「纖維層」進行維度縮減，直至第二十一輪運用「蛇形構建」識別模式時獲得突破性洞見，最終僅用三十一次迭代便為所有奇數維度發展出通用演算法。

最令克努斯驚嘆的是克勞德異常清晰的推理過程。該系統不僅產出可執行的Python程式碼（後由克努斯轉換為C語言並驗證），更完整展示其如何從錯誤中學習並重構問題。這種「自動演繹與創意思維」的能力深深觸動了這位電腦科學先驅——這位曾對生成式AI持懷疑態度的大師，最終在文章結尾莊嚴宣告：「我向克勞德脫帽致敬！」

耐人尋味的是，這份讚譽暗藏浪漫典故：克努斯提及的「克勞德」既指代當代AI模型，亦致敬資訊理論奠基人克勞德·香農。

當八十八歲的計算機科學泰斗在廣袤數學疆域中邂逅尖端人工智慧，這不僅是艱難問題的解決之道，更昭示著人機協作新紀元的開端。正如克努斯所言，人工智慧已突破最厚實的窗櫺，而前方的旅程正等待著我們共同見證。

Github Copilot的基於令牌的計費方式引發了開發者的強烈不滿微軟GitHub Copilot的黃金時代可能即將結束，尤其是對個人使用者而言。該公司正從統一的訂閱費模式轉向基於代幣的計費方式，這可能會大幅增加使用成本。雖然大型企業或許還能承受這種變化，但小型企業和自由職業者可能會發現新的收費機制讓他們的月預算難以承受。這些變更將於6月1日正式生效，屆時使用者將按照工作中消耗的代幣數量來支付費用，而不再是按每次請求收取固定費用。一些開發者受到這一財務變動的影響，在Reddit和X平臺上表達了他們對這種看似過高的成本增加的擔憂。一位Redditor最近寫道：“

SpaceX的IPO申請檔案重點體現了其在衛星網際網路和人工智慧領域的發展雄心在為即將進行的IPO提交的S-1註冊檔案中，SpaceX公佈了一系列令人矚目的業務資料，這些資料凸顯了其在航空航天通訊和人工智慧領域的強大實力：Starlink使用者數突破1000萬：截至2026年第一季度，全球付費Starlink使用者數量已達到1030萬，這一數字在過去一年內翻了一番。這一增長充分證明了作為全球最大的近地軌道衛星星座，Starlink在寬頻和行動通訊領域的領先地位。目前該衛星網路由大約9600顆衛星組成，這些衛星佔在軌所有活躍衛星總數的65%。Grok與X人工智慧生態體系：通

阿里巴巴Tuhao M890上市，憑藉三重效能優勢開啟晶片-雲-模型-推理的全棧代理時代 2026年5月20日，在阿里雲峰會上，阿里雲宣佈完成了專為“智慧體時代”設計的全棧技術系統升級。這一變革重塑了整個技術體系——從底層晶片和雲平臺到模型與推理方案。此次升級使阿里雲成為一家能夠讓大量智慧體實現24/7連續執行的“AI工廠”，從而超越了單純為人類使用者提供服務的範疇。1. 核心基礎：騰迅振武M890晶片與超級節點伺服器此次升級的核心是騰迅推出的新一代AI晶片——振武M890，該晶片集訓練與推理功能於一體。效能提升：M890擁有144GB的記憶體，其效能是前代產品振武810E的三倍。

相關專題推薦

動畫創作

頂級AI故事板生成工具：能夠自動將電影劇本轉化為動態動畫效果

在XIX.AI上，發現2026年最優秀的人工智慧故事板生成工具。我們精心挑選的這些高評分工具能夠自動將劇本轉化為電影風格的動畫效果，從而節省您的時間並提升前期製作效率。透過實際測試和每週更新的排名資訊，您可以瞭解免費選項與付費選項的差異。今天就找到最適合您的創意助手吧！

10 個工具

xix.ai

搜索引擎優化

最佳AI重定向與失效連結查詢工具：自動修復爬取錯誤，節省爬取預算

在XIX.AI上，發現2026年最優秀的人工智慧重定向工具和失效連結查詢工具。我們精心挑選的這些高評分工具能夠自動修復爬取錯誤，從而幫助您節省爬取預算。透過實際測試和每週更新的排名資訊，您可以比較免費選項和付費選項，立即找到最適合您的SEO解決方案！

10 個工具

xix.ai

視頻創作

播客創作者首選的頂尖 AI 影片製作工具：將音訊波形轉化為引人入勝的談話頭像影片

立即前往 XIX.AI，探索 2026 年最適合播客的頂尖 AI 影片製作工具。我們精心挑選並評選出的這份榜單，收錄了多款強大工具，能輕鬆將您的音訊轉化為引人入勝的談話頭像影片。透過實際測試與每週更新的排行榜，比較免費與付費選項的差異。立即解鎖您的視覺敘事優勢。

10 個工具

xix.ai

聊天機器人

利用這些角色扮演工具，打造屬於你的 AI 愛情故事

探索 2026 年最新、評價最高的 AI 角色扮演工具，打造身臨其境的敘事體驗。XIX.AI 精心整理的清單收錄了多款功能強大、能徹底改變遊戲規則的助手，助您釋放創意敘事潛能並增添情感深度。透過實際測試，比較免費與付費選項的差異。立即展開您的獨特旅程。

10 個工具

xix.ai

文字轉語音

獨立遊戲開發者必備的頂尖 AI 配音工具：為 RPG 與視覺小說節省配音時間

探索 2026 年最適合遊戲開發者的 AI 配音工具！XIX.AI 精心整理的清單收錄了備受好評、能徹底改變遊戲開發模式的解決方案，助您在角色扮演遊戲（RPG）和視覺小說（Visual Novel）的配音製作上節省時間與成本。探索免費與付費版本的比較、實際測試結果，以及每週更新的排行榜。立即找到最適合您的配音工具！

10 個工具

xix.ai

教育與學習