コンピュータ科学の神様が「AIに負けた」日 — Donald Knuth『Claude's Cycles』を読み解く - Qiita
はじめに：「Shock! Shock!」 2026年2月28日、コンピュータ科学の世界に小さな衝撃が走った。 Donald Knuth（ドナルド・クヌース）が新しい論文を公開した。タイトルは「Claude's Cycles」。冒頭の一言はこ...
tokuniimihanai一部の解を探索で見つけたというだけか。それは確かにAIが得意そう。論理性を必要とする証明はまだできないのも予想通り。
2026/03/05 08:51
JULYタイトルはまるで「人類の敗北」みたいだけど、中身は AI と人間の役割がよくわかる。ツール、少しウェットな言い方だとパートナーとして、何をどこまで任せるか、が重要。
2026/03/05 09:45★★
augsUKシンボリック回帰のような上手い当てはめ関数とも違って、数学者の研究プロセスを早回しにする感じがある。
2026/03/05 10:06★
mshkhAIは研究者レベルを超えたと日々痛感してるよ。一方で、人間はAIにはできない発想を行うこともできる。問題は、それすら近いうちにAIができるようになるということだ。若い研究者はこれからどうなるのかねえ
2026/03/05 10:19★
kirakking答えに至るステップだけなぞったら人間（≧学士）でもたどり着けそうだけど、これを短時間でやられるなら人間の出番はかなり減るな。将来的には定義・定式化までが人間の仕事でそれ以降は自動化されそう。
2026/03/05 11:15
hom_functor凄いことではあるが、未解決問題を難易度無視で一括りにする詭弁で過剰に持ち上げての驚き屋仕草がきつい
2026/03/05 11:20★★
mrmtKnuth先生の明るい誠実さが素敵。
2026/03/05 11:24★★★★★★
erya87がこんな証明解いてることが逆に脅威まである
2026/03/05 11:37★★★★★★★★★★★
maguro1111課題を発見して自発的に取り組むのも使い方次第である程度はできるけど、そこに飛躍を伴う発想を持ち込むのはまだ人間にしかできない領域
2026/03/05 12:00
nanika-sheilaアツい話だ。こんな87歳になりたいものだね。
2026/03/05 12:13★★★★
cielonlonKnuth先生！ご存命かつご活躍されているとは！！過去の偉大な人物的な記憶にしてしまい申し訳ない💦
2026/03/05 12:26★★★★★
mozukuyummyフォン・ノイマンが現代に生きていたら「世界で二番目に頭の良い奴ができた」と言いそうだな(この発言自体は都市伝説らしいが)
2026/03/05 12:35
hobbiel55「この問題はKnuthの大著TAOCPの将来の巻に収録予定の未解決問題だった」←The Art of Computer Programming はいつ完結するのだろう。
2026/03/05 13:25★★★
te2u｢自分の予想にきれいな解があると知った喜びだけでなく、自動推論と創造的問題解決におけるこの劇的な進歩を祝えることが嬉しい｣本人はこう言っているのに､どうして｢AIに負けた｣になるのか｡
2026/03/05 13:32★★
toaruR流石過ぎた(ノ∀`)
2026/03/05 13:48
circledたまたま忌々しい釘が飛び出ているところに、ハンマーを持ったAIが通りかかったのをKnuthが目にしただけかも知れない。そして僕らは「こんなのn=1だろ？顧客は穴の空いた板が欲しいんだよ！」と叫ぶ
2026/03/05 13:49
maninthemiddleもはや神話の中の人物だけどまだご存命だったか…
2026/03/05 14:19★
richmikanAIもまた、コンピューター科学の成果物だからね。
2026/03/05 14:57
u_1rohAIもすごいけどKnuth先生がすごい
2026/03/05 15:19★★★★★★★★
natu3kan質を出すには、まず量が必要で、たくさんアウトプットしてダメな所を潰さないといけないけど、AIはその速度が速いよなあ。
2026/03/05 15:20★