kinaba retweeted
ただ、目標を定めるという行為がAIに取って替わられるというのは、「自分はこういうことを知りたい」「自分はこういうことに興味がある」ということすらAIに決めてもらう、というようなものなので、そんなことになったらもう人間として終わりな感じもする
kinaba retweeted
昔から良いテーマ・問題を見つけることが一番難しいと言われているように、理論を発展させるための良い中間目標地点（未解決問題）を設定することが一番難しいところですが、今後はそれもAIの得意分野になるかどうかは気になるところです
kinaba retweeted
つまり「これまでAIなしでは到底辿り着けなかった領域まで手が出せるようになった」「現時点でのAIの性能では、理論の発展にはまだ人間が相当介入する必要がある」という絶妙なバランスのため、現時点の AI−assisted 数学研究はめちゃくちゃ楽しいんですが、まあ今後は後者がどうなるか次第ですね
kinaba retweeted
今やっている研究だと、現時点では大未解決問題となるような巨大な障害はそんなに出てきていなくて、小さな障害がぽつぽつ現れるくらいですが、そういう小さい問題の多くはAIの力で潰せて、理論をスムーズに発展させられるというのが非常に大きいです
kinaba retweeted
理論を広げる・発展させるという観点から言えば、未解決問題というのは、理論を発展させるための中間目標（のうち，長い期間、達成できずに残っていたもの）でしかないので、AIでそれを解決できるようになったのはとても大きいなあと感じています