AI is a tool, not a mathematician. A mind understands, questions, and bears the responsibility of proof; AI merely follows code and computes.