AI is entering mathematics at unprecedented speed. The real question is not whether machines can solve problems, but who gets the credit—and whether AI enriches mathematics or turns it into a leaderboard.