> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.

That's like saying that programming is about producing valid programs in various programming languages.

Dont confuse mathematics with the formal system. If you beleive mathematics = formal system then AI is obviously better at it, and we dont need humans.

But then who decides why a statement is mor important than another? In the eyes of a formal systems all statements are born equal.