AI in math research