元・神童のKKさん 2024年7月30日 01:39 数学オリンピックの幾何問題をAIが解ける水準に達しつつあるといいます。解く力よりも問う力に価値を置かれる時代に入ったか。ブラウワーが百年前に提唱した「直観主義」は計算機科学の論理学でもあります。このネタでも一本寄稿できるかな。また予習というか復習が大変そう。 この記事が気に入ったらサポートをしてみませんか? サポート