Terence Tao zegt dat de echte doorbraak niet alleen is dat AI Erdős-problemen oplost. Het is hoe het het paper steeds opnieuw herschrijft. Maar voorbij de oplossing benadrukt Tao iets diepers: de opkomst van AI-gestuurde schrijf–herschrijfcycli voor wiskundige expositie. Door een mix van tools zoals ChatGPT en Aristoteles (Lean formalizer) hebben AI-gebruikers samen niet alleen het bewijs geproduceerd, maar ook meerdere versies van een volledig paper, inclusief uitleg in natuurlijke taal, historische context en verbindingen met de literatuur. Deze nieuwe manier van snelle wiskundige storytelling, die met traditionele tools routinematig onmogelijk was, is nu realiteit.