解答のない演習問題をAIに証明させてるんだが、AIの証明がくっそ汚かったり、議論の進め方が厄介すぎて、読み解くのに時間がかかる。
これまでは自分で考えるのに時間を使ってたが、AIの登場によってAIが何を言おうとしてるのかを読み解くことに思考力が割かれる。