There are trade-offs. AI can push math forward fast, but it risks false proofs and dulling human intuition.
