An AI that proves deep theorems is a powerful tool, not a mathematician. It can reveal truths, but the math soul and human creativity born of struggle belong to us.
AI is a tool, not a mind. Yet it amplifies collective trial and error, speeding the selection of ideas as in natural selection.
Imagination and rigorous reasoning are partners; if AI yields deep, original proofs with real rigor, it is a mathematician, not a mere tool.
