Terence Tao dice que el verdadero avance no es solo que la IA resuelva problemas de Erdős. Es cómo reescribe el artículo, una y otra vez. Pero más allá de la solución, Tao destaca algo más profundo: la aparición de ciclos de escritura-reescritura impulsados por IA para la exposición matemática. A través de una combinación de herramientas como ChatGPT y Aristóteles (formalizador Lean), los usuarios de IA produjeron colaborativamente no solo la prueba, sino múltiples borradores de un artículo completo que incluye explicaciones en lenguaje natural, contexto histórico y conexiones con la literatura. Este nuevo modo de narración matemática rápida, rutinariamente imposible con herramientas tradicionales, ahora es real.