Good point, instead of wasting their compute in solving 100 years old math problems.

Spoiler alert: it's a sarcasm