Terence Tao říká, že skutečný průlom není jen v tom, že AI řeší Erdővy problémy. Je to způsob, jakým přepisuje noviny, znovu a znovu. Ale nad rámec řešení Tao zdůrazňuje něco hlubšího: vznik AI-poháněných cyklů psaní a přepisování pro matematické vysvětlování. Prostřednictvím kombinace nástrojů jako ChatGPT a Aristotel (Lean formalizer) uživatelé AI společně vytvořili nejen důkaz, ale i několik verzí celého článku zahrnující vysvětlení v přirozeném jazyce, historické rámování a literární vazby. Tento nový způsob rychlého matematického vyprávění, který je běžně nemožný tradičními nástroji, je nyní skutečný.