Despite the recent progress in AI for mathematics, I don't think AI will replace the role of mathematicians. Instead, it makes mathematics closer to the natural sciences. In the natural sciences, we invent theories, comprehensible models, that explain empirical observations. When an AI answers a mathematical question, it provides humans with an effectively empirical observation about the answer. It is effectively empirical because the answer is a measurement from a system outside of immediate human theoretical understanding. This answer, as with any new glimpse of reality, remains mysterious until humans make sense of its underlying structure and provide an explanation of it in our own frameworks for understanding the world. An AI proof is stronger than simply an empirical observation, but it may be so complex that it provides little deep or novel insight beyond establishing the answer. The role of human mathematics is then to distill these effectively empirical findings into human-legible explanations. Seen this way, much of human mathematics may begin to look like a branch of interpretability, and AI, a new kind of telescope.