Terence Tao sanoo, että todellinen läpimurto ei ole pelkästään tekoälyn ratkaisemassa Erdősin ongelmia. Se on tapa, jolla se kirjoittaa paperin uudelleen yhä uudelleen. Mutta ratkaisun lisäksi Tao nostaa esiin jotain syvällisempää: tekoälypohjaisten kirjoitus–uudelleenkirjoitussyklejä matemaattiseen selitykseen. Työkalujen, kuten ChatGPT:n ja Aristoteleen (Lean formalizer) yhdistelmän avulla tekoälykäyttäjät tuottivat yhteistyössä paitsi todistuksen myös useita luonnoksia koko artikkelista, mukaan lukien luonnollisen kielen selitykset, historialliset kehysteet ja kirjallisuuden yhteydet. Tämä uusi nopean matemaattisen tarinankerronnan muoto, joka on perinteisellä työkalulla käytännössä mahdotonta, on nyt todellinen.