An AI that proves deep theorems engages in the same mathematical thinking as a mathematician. It is not merely a tool; it is a mind at work.
