> leading them to suggest that LLMs will hit a wall in mathematical capability just beyond the convex hull of human mathematics

I mean, even just that would prove to be a very productive workhorse - potentially being able to automate away almost every white collar job.