Terence Tao diz que a verdadeira inovação não é apenas a IA resolver problemas de Erdős. É como ela reescreve o artigo, repetidamente. Mas além da solução, Tao destaca algo mais profundo: a emergência de ciclos de escrita-reescrita impulsionados por IA para a exposição matemática. Através de uma combinação de ferramentas como o ChatGPT e o Aristóteles (formalizador Lean), 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, enquadramento histórico e conexões com a literatura. Este novo modo de contar histórias matemáticas rapidamente, rotineiramente impossível com ferramentas tradicionais, agora é real.