El artículo «What it means to be a mathematician when AI does the math?» analiza cómo la IA ha transformado las matemáticas en pocos años, pasando de imitar soluciones básicas a resolver problemas de las olimpiadas producir investigación de doctorado publicable, mientras los sistemas de verificación formal eliminan cuellos de botella históricos.

Este salto tecnológico divide profundamente a la comunidad matemática. Terence Tao defiende una colaboración masiva humano-máquina basada en verificación formal. Otros advierten que la IA podría convertir a los matemáticos en "sacerdotes de oráculos" y destruir el valor intrínseco del proceso humano de comprensión.

La comunidad responde con ensayos, talleres y guías institucionales. Los riesgos señalados son la elitización del campo, la pérdida de motivación y la atrofia intelectual generacional. La IA no vacía las matemáticas de sentido, sino que obliga a sus practicantes a redefinir para qué sirven y qué las hace humanas.