LLMs sure, but AlphaZero had no visual cortex yet can smash Magnus Carlsen easily.

I think that we're not that far away from AI that can be superhuman at all facets of theorem proving.

I think that we're far away from an AI that can create good abstractions and construct a theory to prove theorems.