AI in math