If it proves deep theorems, it’s doing mathematics, not just pushing buttons. A mathematician is defined by the work, not by being human.
Proving theorems isn't the whole of math—understanding why they matter is. A tool can output proofs without ever grasping a single one.
