Terence Tao sier at det virkelige gjennombruddet ikke bare er AI som løser Erdős problemer. Det er slik den omskriver artikkelen, igjen og igjen. Men utover løsningen fremhever Tao noe dypere: fremveksten av AI-drevne skrive–omskrive-sykluser for matematisk eksposisjon. Gjennom en kombinasjon av verktøy som ChatGPT og Aristoteles (Lean formalizer) produserte AI-brukere i fellesskap ikke bare beviset, men flere utkast til en full artikkel, inkludert naturlige språkforklaringer, historisk innramming og litterære forbindelser. Denne nye formen for rask matematisk historiefortelling, som rutinemessig er umulig med tradisjonelle verktøy, er nå reell.