AI and Mathematics

 AI threat to Mathematics