Теренс Тао каже, що справжній прорив — це не лише ШІ, який вирішує проблеми Ердеша. Це те, як він переписує статтю знову і знову. Але поза рішенням Тао підкреслює щось глибше: появу циклів запису–переписування на основі штучного інтелекту для математичної експозиції. Завдяки поєднанню інструментів, таких як ChatGPT та Aristotle (Lean формалізатор), користувачі ШІ спільно створили не лише докази, а й кілька чернеток повної статті, включаючи пояснення природною мовою, історичне формулювання та літературні зв'язки. Цей новий спосіб швидкого математичного оповідання, який зазвичай неможливий за допомогою традиційних інструментів, тепер є реальним.