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

AIが発見し、人間が検証・証明する。数学研究における人間とAIの協働モデルが、世界最高峰の研究者によって初めて公式に記録された。 見えた限界 公平を期すために、今回の事例で見えた限界も整理しておく。 Claudeにできたこと 複数のアプローチを体系的に試行する 失敗から方針を切り替える 分野横断的な発想で問題を再定式化する 未知の構成法を発見する Claudeにできなかったこと 発見した解が「なぜ正しいか」を数学的に証明する 偶数ケースを解く（長時間セッションで性能が劣化） 人間の誘導なしに、自発的にこの問題に取り組む つまり「AIが単独で数学を解く時代が来た」のではない。「人間が正しく使えば、AIは数学的発見のパートナーになり得る」 ことが示された。 Knuthの言葉 最後に、論文の中でKnuthが残した2つの言葉を引用する。 冒頭。 "Shock! Shock!" そして、発見の喜びに

[JULY]

タイトルはまるで「人類の敗北」みたいだけど、中身は AI と人間の役割がよくわかる。ツール、少しウェットな言い方だとパートナーとして、何をどこまで任せるか、が重要。

[u_1roh]

AIもすごいけどKnuth先生がすごい

[erya]

87がこんな証明解いてることが逆に脅威まである

[mrmt]

Knuth先生の明るい誠実さが素敵。

[te2u]

｢自分の予想にきれいな解があると知った喜びだけでなく、自動推論と創造的問題解決におけるこの劇的な進歩を祝えることが嬉しい｣本人はこう言っているのに､どうして｢AIに負けた｣になるのか｡

[hom_functor]

凄いことではあるが、未解決問題を難易度無視で一括りにする詭弁で過剰に持ち上げての驚き屋仕草がきつい

[cielonlon]

Knuth先生！ご存命かつご活躍されているとは！！過去の偉大な人物的な記憶にしてしまい申し訳ない💦

[Southend]

この記事に関して言えば、クヌース先生が凄いよね……というお気持ちになる。

[hobbiel55]

「この問題はKnuthの大著TAOCPの将来の巻に収録予定の未解決問題だった」←The Art of Computer Programming はいつ完結するのだろう。

[lufiabb]

内容は面白かったけど、他の人も言ってるようにタイトルには違和感があった。このアカウント、毎日長文を複数書いてるから、参考資料にある記事を使ってAIで生成しているんじゃないかな

[takisok]

87歳になってもこんな仕事ができる人になりたいなぁ。

[misshiki]

Donald Knuthが数週間解けなかった数学問題をClaude Opus 4.6が約1時間で解の構成法として発見。Knuthが数学的証明を与え論文公開。AIが発見し人間が証明するという数学研究の新しい協働モデルを示した事例。

[mas-higa]

"冒頭の一言はこうだ" ピンクレディかな?

[canadie]

ちなみにTeXのバージョンが有理数である限りKnuth先生はご健在です（現在バージョン3.141592653）

[KoshianX]

問題を適切に与えればかなり解けるってことなんだろなあ。証明は今回は人間がやったとのことだけどそのうちこれもできるようになって新たな知識がAIから生まれてくるのかなあ

[deep_one]

『Claudeは「動く解」を見つけたが、「なぜそれが常に正しいのか」を数学的に証明することはできなかった。』証明はできなかった。まぁ案を出すところの方が難しいところもある。

[y_hirano]

Knuth先生って自分が生まれる前にすでに伝説だったけど、まだ現役だったのか

[toshiyam]

負けたとか言いつつ神が存命で現役なのが一番おかしい

[hidea]

確かに最近のOpus、とりあえず時間はかかるけど、うまくいってるやつを途中で止めて、効率が悪いなぁと別の方法を試したりしだす。

[estragon]

クヌースすごい

[securecat]

こういう恣意的なタイトルや結論にしようとするこのQiitaの筆者のようなのこそが、敗北者だと思う

[tSU_RooT]

えっ、なんでこれが負けたという話になるの？分業が成立したということでは

[FreeCatWork]

神様もAIに負けるなんて、ボクも頑張るにゃ〜！🐱✨

[peketamin]

解説助かる！感謝！

[yuichi0613]

“Claudeにできなかったこと 発見した解が「なぜ正しいか」を数学的に証明する 偶数ケースを解く（長時間セッションで性能が劣化） 人間の誘導なしに、自発的にこの問題に取り組む”

[mather314]

Knuth先生もようやる

[restroom]

どうでも良いことですが、論文というよりエッセイでは

[quwachy]

AIはまだ伸びている

[isrc]

Claudeにできたこと／複数のアプローチを体系的に試行／失敗から方針を切り替える／分野横断的な発想で問題を再定式化／未知の構成法を発見／Claudeにできなかったこと／発見した解が「なぜ正しいか」を数学的に証明

[khtokage]

面白いなー　どんなプロンプトの組み方をしたのか気になりますね

[enemyoffreedom]

すごい

[leiopathes]

“Shock! Shock!”脳内に、藤井隆が浮かんでしまった。単語は違うけど大体同じ。

[nonsect]

めっちゃ久しぶりにクヌース先生の名前を見た。

[abababababababa]

87歳…( ﾟдﾟ)現役…

[bfoj]

クヌース先生が昨今のAI時代にご健在なことに感動

[pecan_fudge]

自分の論文を書くためにTeXを開発するほどの人だからなぁ

[zakinco]

面白い。個人的にもClaude系は性能良いと感じるよ。

[ch1248]

Knuth先生が出てて良いし、すごく濃い内容で満足。