コンピュータ科学の神様が「AIに負けた」日 — Donald Knuth『Claude's Cycles』を読み解く

概要

コンピュータ科学の権威ドナルド・クヌース氏が、自ら解けなかった数学の難問をClaude Opus 4.6が解決した過程と、それによる氏のAI観の転換を解説する記事。

詳細内容

コンピュータ科学の巨人、ドナルド・クヌース氏が発表した論文「Claude's Cycles」を軸に、AIが未知の数学的課題を解決した歴史的瞬間を解説しています。クヌース氏が数週間取り組んでも解けなかった「3次元格子点におけるハミルトン閉路の分解」という難問に対し、Claude Opus 4.6は単なる計算だけでなく、自ら戦略を切り替え、群論の概念を持ち出すという「研究的」なプロセスを経て一般構成法を発見しました。長年AIに慎重だったクヌース氏が「生成AIへの意見を改めなければならない」と認めるに至った経緯と、AIが発見し人間が証明するという新しい科学的協働モデルの形が示されています。

元記事を読む他のサマリーを見る