> I want lower energy bills, lower rent, better understanding of health etc. more than I want theorems.

These efforts aren't mutually exclusive. I hate to be snide, but a lot of people would criticize you for being a mathematician because they want lower energy bills, lower rent, better understanding of health etc

The interesting thing isn't that we now know they can do math. The interesting is that these problems now can be trivially solved.

The value of LLM is not "Ha curious look what it can do". It's not entertainment.