Terence Tao dit que la véritable avancée n'est pas seulement que l'IA résout des problèmes d'Erdős. C'est la façon dont elle réécrit le document, encore et encore. Mais au-delà de la solution, Tao met en avant quelque chose de plus profond : l'émergence de cycles d'écriture-réécriture alimentés par l'IA pour l'exposition mathématique. Grâce à un mélange d'outils comme ChatGPT et Aristote (formaliseur Lean), les utilisateurs d'IA ont collaborativement produit non seulement la preuve, mais aussi plusieurs brouillons d'un document complet incluant des explications en langage naturel, un cadre historique et des connexions littéraires. Ce nouveau mode de narration mathématique rapide, régulièrement impossible avec des outils traditionnels, est désormais réel.