AI in math survey