Terence Tao mówi, że prawdziwy przełom nie polega tylko na tym, że AI rozwiązuje problemy Erdősa. Chodzi o to, jak przepisuje artykuł, raz za razem. Ale poza rozwiązaniem, Tao podkreśla coś głębszego: pojawienie się cykli pisania i przepisywania z wykorzystaniem AI w matematycznej ekspozycji. Dzięki połączeniu narzędzi takich jak ChatGPT i Arystoteles (formalizator Lean), użytkownicy AI wspólnie stworzyli nie tylko dowód, ale także wiele wersji pełnego artykułu, w tym wyjaśnienia w języku naturalnym, kontekst historyczny i powiązania z literaturą. Ten nowy sposób szybkiego opowiadania matematycznych historii, który był rutynowo niemożliwy przy użyciu tradycyjnych narzędzi, jest teraz rzeczywistością.