唐納德·克努斯教授在他的最新論文中以「震驚！震驚！」開場。 克勞德·奧普斯 4.6 剛剛解決了他工作了幾週的開放問題——來自《計算機程序設計藝術》的圖形分解猜想。 他將這篇論文命名為「克勞德的循環」。 31 次探索。約 1 小時。克努斯閱讀了輸出，寫下了正式證明，並以「看來我得在某一天修正我對生成 AI 的看法。」結尾。 這位撰寫計算機科學聖經的人剛剛這麼說。在一篇以 AI 命名的論文中。 論文：