The prospect of AI solving a Millennium Problem sparked terror in some mathematicians, including Cornell math professor Stephen Strogatz