一部の解を探索で見つけたというだけか。それは確かにAIが得意そう。論理性を必要とする証明はまだできないのも予想通り。
タイトルはまるで「人類の敗北」みたいだけど、中身は AI と人間の役割がよくわかる。ツール、少しウェットな言い方だとパートナーとして、何をどこまで任せるか、が重要。
シンボリック回帰のような上手い当てはめ関数とも違って、数学者の研究プロセスを早回しにする感じがある。
AIは研究者レベルを超えたと日々痛感してるよ。一方で、人間はAIにはできない発想を行うこともできる。問題は、それすら近いうちにAIができるようになるということだ。若い研究者はこれからどうなるのかねえ
答えに至るステップだけなぞったら人間（≧学士）でもたどり着けそうだけど、これを短時間でやられるなら人間の出番はかなり減るな。将来的には定義・定式化までが人間の仕事でそれ以降は自動化されそう。
凄いことではあるが、未解決問題を難易度無視で一括りにする詭弁で過剰に持ち上げての驚き屋仕草がきつい
Knuth先生の明るい誠実さが素敵。
87がこんな証明解いてることが逆に脅威まである
課題を発見して自発的に取り組むのも使い方次第である程度はできるけど、そこに飛躍を伴う発想を持ち込むのはまだ人間にしかできない領域
アツい話だ。こんな87歳になりたいものだね。
Knuth先生！ご存命かつご活躍されているとは！！過去の偉大な人物的な記憶にしてしまい申し訳ない💦
フォン・ノイマンが現代に生きていたら「世界で二番目に頭の良い奴ができた」と言いそうだな(この発言自体は都市伝説らしいが)
コンピュータ科学の神様が「AIに負けた」日 — Donald Knuth『Claude's Cycles』を読み解く - Qiita
一部の解を探索で見つけたというだけか。それは確かにAIが得意そう。論理性を必要とする証明はまだできないのも予想通り。
タイトルはまるで「人類の敗北」みたいだけど、中身は AI と人間の役割がよくわかる。ツール、少しウェットな言い方だとパートナーとして、何をどこまで任せるか、が重要。
シンボリック回帰のような上手い当てはめ関数とも違って、数学者の研究プロセスを早回しにする感じがある。
AIは研究者レベルを超えたと日々痛感してるよ。一方で、人間はAIにはできない発想を行うこともできる。問題は、それすら近いうちにAIができるようになるということだ。若い研究者はこれからどうなるのかねえ
答えに至るステップだけなぞったら人間（≧学士）でもたどり着けそうだけど、これを短時間でやられるなら人間の出番はかなり減るな。将来的には定義・定式化までが人間の仕事でそれ以降は自動化されそう。
凄いことではあるが、未解決問題を難易度無視で一括りにする詭弁で過剰に持ち上げての驚き屋仕草がきつい
Knuth先生の明るい誠実さが素敵。
87がこんな証明解いてることが逆に脅威まである
課題を発見して自発的に取り組むのも使い方次第である程度はできるけど、そこに飛躍を伴う発想を持ち込むのはまだ人間にしかできない領域
アツい話だ。こんな87歳になりたいものだね。
Knuth先生！ご存命かつご活躍されているとは！！過去の偉大な人物的な記憶にしてしまい申し訳ない💦
フォン・ノイマンが現代に生きていたら「世界で二番目に頭の良い奴ができた」と言いそうだな(この発言自体は都市伝説らしいが)