For sure, I just wanted to correct the impression that it has been solved. There are a lot of people going around pretending LLMs have solved everything and human maths is over, but what has been achieved with them so far, while impressive, is a very, very long way short of that.

If I were a mathematician working on the Riemann Hypothesis, I'd probably be rather pissed off right now but continuing my work, i.e. the same as I am as a software developer.

I get you. What people are doing now is questioning value: in themselves, and what they can create for others. I hate to always oversimplify things but we're pretty simple things to begin with:

Social creatures that share a common space, with finite time that nobody wants to waste.