Comment by olalonde

Isn't it safe to say that all famous unsolved math problems will get a "massive amount of AI-powered effort" pointed at them regardless?