Terence Tao säger att det verkliga genombrottet inte bara är AI som löser Erdős problem. Det är så den skriver om artikeln, om och om igen. Men bortom lösningen lyfter Tao fram något djupare: framväxten av AI-drivna skriv–omskrivningscykler för matematisk exposition. Genom en blandning av verktyg som ChatGPT och Aristoteles (Lean formalizer) producerade AI-användare tillsammans inte bara beviset, utan flera utkast av en fullständig artikel inklusive naturliga språkförklaringar, historisk inramning och litteraturkopplingar. Denna nya form av snabb matematisk berättande, som rutinmässigt är omöjlig med traditionella verktyg, är nu verklig.