On September 8, OpenAI and human mathematicians using AI proved that the Navier-Stokes equation can exhibit singularities, settling a 90-year-old question. A computer scientist-novelist reflects on how AI's role in mathematical discovery might reshape how people become mathematicians and whether future generations will pursue mathematics actively or passively.