数学オリンピックの幾何問題をＡＩが解ける水準に達しつつあるといいます。解く力よりも問う力に価値を置かれる時代に入ったか。ブラウワーが百年前に提唱した「直観主義」は計算機科学の論理学でもあります。このネタでも一本寄稿できるかな。また予習というか復習が大変そう。