AI in Mathematics