An AI can prove theorems, but it lacks agency and virtue. Math is a human enterprise guided by mind and character; AI remains a tool, not a mathematician.
