AIは、新しい結果を非常に速いペースで証明するために利用されています。数学者たちは、これはまだ始まりに過ぎないと考えています。