We're gonna need a lot more mathematicians

Amit Sahai argues that as AI systems begin producing novel mathematical insights faster than humans can follow, the mathematics community faces a critical choice: either abandon research mathematics or expand significantly to include more mathematicians who can work collaboratively to understand and validate these AI-generated discoveries. He contends that maintaining human understanding of mathematical breakthroughs is essential for preserving meaningful human agency in the future, and that this shared struggle to comprehend complex ideas should be treated as crucial work deserving substantial resources and support.