0173132人目の素数さん垢版 | 大砲2021/01/17(日) 01:17:57.38ID:v2U7TigO 21XX年 数学定理発見AIが完成し、ヘェルマー定理なんぞ5時間で証明完了QEDされる