> Apparently, part of his philosophical thought was that the ultimate goal of mathematics is to reduce (maybe even eliminate) how much thinking we do.

And it has done so. Imagine how much resources we would be spending on trials for any new object if not for the mathematical models of various systems and events that let us simulate timeline with pure logic. And with the invention of the computer, we’ve ridden ourselves of the human effort of manually computing them.

Pure maths and other theoretical sciences are useful because they brought us tools. Like discovering striking two rocks can produce a spark and thus allowing us to control fire. AI discoveries are more like seeing random thunder strikes and hoping some dry tree is now burning somewhere.