Mathematical discovery depends not on raw computation but on finding the right representation — and AI is becoming an unexpected collaborator in the oldest intellectual discipline.