When AI enters mathematics, the challenge is not only whether machines can solve difficult problems, but what happens to discovery, attribution, provenance, and the human mathematical ecosystem.