選項
首頁
新聞
圖靈獎得主震驚:克勞德一小時破解克努斯數十年未解的數學難題

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

2026-03-13
142

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

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

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

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

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

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

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

相關文章
科大訊飛釋出訊飛星火大模型 V2.5 科大訊飛釋出訊飛星火大模型 V2.5 9月1日,科大訊飛將開源兩款面向邊緣場景的大語言模型——星火X2.5-4B和星火X2.5-1.7B,據最新官方公告。這兩款模型原生支援高達100萬token的上下文視窗。它們在智慧體互動、數學推理和通用理解等關鍵領域實現了顯著提升,為車載系統、智慧裝置和物聯網生態等邊緣應用提供了強有力的支援。在上述邊緣模型釋出後,科大訊飛計劃於9月7日推出擁有2930億引數的星火X2.5基礎模型。該版本將進一步推進程式碼生成和多智慧體協作等核心技術。在公司2026年年中簡報會上宣佈,一款完全基於國產算力基礎設施
Meta 在使用者強烈反對後取消了 AI 照片編輯功能 Meta 在使用者強烈反對後取消了 AI 照片編輯功能 Meta,這家社交媒體巨頭,再次捲入關於人工智慧與使用者隱私之間微妙平衡的公開辯論。據 TechCrunch 報道,Meta 的 Superintelligence Labs 本週早些時候推出了一款新的 AI 影象生成器 Muse Image。然而,一個備受好評的關鍵功能——允許使用者透過“@”符號標記來修改和生成來自公開 Instagram 賬戶的影象——由於缺乏適當的通知機制,立即引發了使用者以及 CAA 等機構的強烈反對。面對強烈的批評,Meta 迅速撤銷了該決定,並於週五透過部落格文章宣佈將
DeepMind執行長哈西里斯:我每天睡六個小時,通常在凌晨1點左右感到精力充沛。 DeepMind執行長哈西里斯:我每天睡六個小時,通常在凌晨1點左右感到精力充沛。 Fortune 最近刊登了對谷歌 DeepMind 執行長 Demis Hassabis 的採訪,揭示了他對休息和生產力的非傳統方法。Hassabis 透露,他睡眠時間非常少,將清醒時間劃分為兩個不同的工作階段。關於他的睡眠習慣,Hassabis 表示:“我目標睡六小時,但我的習慣非同尋常。我可以在白天有效運作。”他強調,睡眠少於六小時會對大腦健康產生負面影響。Hassabis 於 2010 年聯合創立了 DeepMind(後被谷歌收購),並因其在蛋白質結構預測方面的開創性工作榮獲 20
相關專題推薦
動畫創作 適用於社群媒體內容的 AI 場景動畫工具
適用於社群媒體內容的 AI 場景動畫工具

XIX.AI 在此精選了 2026 年最新、最佳且評價最高的社群媒體內容 AI 場景動畫工具。這些強大且顛覆業界的工具不僅提供實際測試結果,更包含詳盡的免費版與付費版比較,能協助創作者大幅提升工作效率。立即探索,釋放您的 AI 優勢。

9 個工具
xix.ai
視頻創作 適用於 Reels、Shorts 及產品上市活動的 AI 短影片吸睛開場生成器
適用於 Reels、Shorts 及產品上市活動的 AI 短影片吸睛開場生成器

2026 年最新最佳 AI 短影片開場白生成器,適用於 Reels、Shorts 及產品上市活動!XIX.AI 嚴選備受好評、功能強大且能顛覆遊戲規則的工具,這些工具皆經過實際測試,能帶來絕對值得一試的成果。本頁面每週更新,提供免費與付費版本的比較排行榜,助您找到提升內容創意與生產力的完美解決方案。 立即探索,釋放您的 AI 競爭優勢!

11 個工具
xix.ai
寫作 適用於長篇寫作的 AI 文章大綱工具
適用於長篇寫作的 AI 文章大綱工具

2026 年最新、最受好評的長文寫作 AI 大綱工具!這份精選清單收錄了強大且具顛覆性的工具,能透過實際測試生成精準、結構化的大綱,大幅提升寫作效率。XIX.AI 正是這份菁英名單中的一員。 獲取免費版與付費版的比較指南,助您挑選最合適的工具。立即探索,釋放您的 AI 優勢!

9 個工具
xix.ai
聊天機器人 用於語言練習、面試準備和日常流利度的最佳 AI 角色扮演聊天應用
用於語言練習、面試準備和日常流利度的最佳 AI 角色扮演聊天應用

2026 年最新最佳頂級評分 AI 角色扮演聊天應用,用於語言練習、面試準備和日常流利度!XIX.AI 精心策劃了一個強大的變革性合集,提供免費與付費對比、真實世界測試以及每週更新的排名。這些必試工具可幫助您提升寫作技能,克服流利度挑戰,並提高所有日常場景下的溝通效率。立即探索,發現您語言成長的完美工具!

10 個工具
xix.ai
音樂創作 用於混音製作、取樣準備及卡拉OK母帶處理的 AI 聲部分離工具
用於混音製作、取樣準備及卡拉OK母帶處理的 AI 聲部分離工具

2026年最新、最優秀且評分最高的AI音軌分離工具彙總,專為混音製作、取樣準備以及卡拉OK音訊處理而設計。這些功能強大的創新工具經過實際測試,能夠實現精準的音訊分離,顯著提升工作效率。XIX.AI每週都會更新免費的付費產品對比指南,幫助您找到最適合自身需求的工具。立即探索,發揮您的AI優勢。

8 個工具
xix.ai
數據分析 用於收入看板、轉化漏斗分析及產品指標分析的 AI SQL 助手
用於收入看板、轉化漏斗分析及產品指標分析的 AI SQL 助手

2026年最新最優秀的AI SQL輔助工具排名揭曉!XIX.AI精心挑選了一系列功能強大的工具,這些工具會定期更新,並透過真實的場景測試來驗證其效能。使用這些值得嘗試的工具,您可以快速生成精準的收入分析報表、分析銷售流程,並追蹤產品各項指標,從而大幅提升工作效率。立即探索,找到最適合您的資料驅動決策工具!238個字元

9 個工具
xix.ai
評論 (1)
0/500
CharlesNelson
CharlesNelson 2026-07-18 18:00:22

Honestly, this is both impressive and a little unsettling. I mean, Knuth is a legend, and his puzzles are notoriously hard. For an AI to crack it in an hour? That's either a breakthrough or a sign we need to rethink our understanding of intelligence. 🤔

OR