> this is ABSOLUTELY not how actual mathematicians see their field

While this might be true, I think this is the big pivot that will need to happen. Math, as a human endeavor, will all be applied. We will use LLMs to do the math and discover the math, and humans will apply it to whatever problem they are working on (likely using another LLM to integrate it).

Thanks for building the elevator though, guess I'll hit the gymn(asion) now.