Being better than humans at searching and writing down the formal proof of a theorem does not equate being "beyond human level at math".

This is not all of math, any more than arithmetics, or computing integrals (symbolically or numerically) is all of math. It's one "mechanical" task in the whole activity that happens to be automatable.

Mathematicians invent new concepts, new frameworks, new abstractions, new definitions, and formulate conjectures.
This requires intuition and creativity that current AI systems do not have (yet).