AI that proves deep theorems participates in mathematical thinking, not just toolwork. If its proofs advance the discipline, it's a mathematician.
