それから 20世紀 1980年代の数学科オチコボレさん
時代が変わってしまったことに気づかない

21世紀の数学は、膨大な量の数学の積み重ねがある
有限単純群の分類定理 1万ページ以上

「数学は証明が命です。証明を読みましょう」
　vs
「群論ソフトある。まず 群論ソフトを使おう」

で、2026年は 群論ソフトに加えて AIもある
有限単純群の分類定理 1万ページを読みたい人は読めば良い。だれも止めません