Comment by vatsachak
6 hours ago
I am not representative of all mathematicians and I definitely use LLMs to snag problems I couldn't in my previous life. But we now know that they are good at math.
I want lower energy bills, lower rent, better understanding of health etc. more than I want theorems.
> 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.