AIが数学を一から構成できるようになったらどうなるかは興味深い
人類の数学の発展の方向性に必然性はどれだけあったのだろうか?