Terence Tao afferma che la vera innovazione non è solo l'AI che risolve i problemi di Erdős. È il modo in cui riscrive il documento, ancora e ancora. Ma oltre alla soluzione, Tao evidenzia qualcosa di più profondo: l'emergere di cicli di scrittura-riscrittura alimentati dall'AI per l'esposizione matematica. Attraverso una combinazione di strumenti come ChatGPT e Aristotele (formalizzatore Lean), gli utenti dell'AI hanno prodotto collaborativamente non solo la dimostrazione, ma più bozze di un documento completo, comprese spiegazioni in linguaggio naturale, inquadramenti storici e collegamenti alla letteratura. Questa nuova modalità di narrazione matematica rapida, abitualmente impossibile con strumenti tradizionali, è ora reale.