21XX年
数学定理発見AIが完成し、ヘェルマー定理なんぞ5時間で証明完了QEDされる