>>371 なるほど。勉強になります。

ところで、人類に課された数学的難問について、
最近発展著しい「人工知能」がそれを解いて見せるという展開は
いつくらいにあり得そうなのかな?

囲碁で人類が負けるのもなかなか衝撃ではあったが、まあそれは良いとして。
しかし理系の思考の根幹でもある(文系にも関わるが)とも言える、数学分野で、
ずっと解けなかった難問をさっさと、人工知能に解かれたら
「う〜ん、もうそろそろ知的活動では、人類はサブ的存在になっても仕方ないかな」
などという認識が一気に広まりそうなのだが。どうなるんでしょうか?