>introspecting motivation is useful

Not if the essence boils down to moving goalpoasts to the next best thing that will likely be flown past as well within months rather than years. Sure mathematicians who do this stuff purely for the love of it will continue to exist. Just like human chess or the retro-programming scene exist for similar reasons. But if you are a professional who expects to earn a living salary on these things, your intellect will suddenly be outcompeted by orders of magnitude. Ignoring this today by saying LLM's can't do this or that will undoubtedly set you up for a rude awakening. For all we know is that there is still no fundamental limit to what they can do in theory and compute may well be the only true limit.