AI in mathematics