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.