近未来の数学者の仕事はAIが見つけた定理の読解、検証や人間向けドキュメントの作成、整理が主になりそう
さらに未来の数学者はAI様からの神託(ヒトには理解できない)を有難がるだけのシャーマンと化す