AI could be about to completely change the way we do mathematics