Terence Tao diz que o verdadeiro avanço não é apenas a IA resolver os problemas de Erdő. É assim que ele reescreve o artigo, repetidas vezes. Mas além da solução, Tao destaca algo mais profundo: o surgimento de ciclos de escrita-reescrita baseados em IA para exposição matemática. Por meio de uma combinação de ferramentas como ChatGPT e Aristotle (Lean formalizer), os usuários de IA produziram colaborativamente não apenas a prova, mas múltiplos rascunhos de um artigo completo, incluindo explicações em linguagem natural, enquadramentos históricos e conexões literárias. Esse novo modo de contar histórias matemáticas rápidas, rotineiramente impossível com ferramentas tradicionais, agora é real.