“Preshman-Kuhetsky predicts that the role of human mathematicians will shift from deep thinking to fast, LLM-based iteration and verification of AI-generated proofs.”