Strogatz Makes Case Against AI in Mathematics · Digg