Trade-offs. AI can crack big proofs, but math’s magic is human curiosity; use AI as a tool, not a replacement.