Теренс Тао говорит, что настоящим прорывом является не только то, что ИИ решает задачи Эрдёша. Это то, как он переписывает статью снова и снова. Но помимо решения, Тао подчеркивает нечто более глубокое: появление циклов написания и переписывания с использованием ИИ для математической экспозиции. С помощью таких инструментов, как ChatGPT и Аристотель (формализатор Lean), пользователи ИИ совместно создали не только доказательство, но и несколько черновиков полной статьи, включая объяснения на естественном языке, исторический контекст и связи с литературой. Этот новый способ быстрого математического повествования, который был бы регулярно невозможен с традиционными инструментами, теперь стал реальностью.