Terence Tao nói rằng bước đột phá thực sự không chỉ là AI giải quyết các vấn đề của Erdős. Mà là cách nó viết lại bài báo, lần này đến lần khác. Nhưng ngoài giải pháp, Tao nhấn mạnh điều gì đó sâu sắc hơn: sự xuất hiện của các chu trình viết–viết lại được hỗ trợ bởi AI cho việc trình bày toán học. Thông qua sự kết hợp của các công cụ như ChatGPT và Aristotle (công cụ chính thức Lean), người dùng AI đã hợp tác sản xuất không chỉ bằng chứng, mà còn nhiều bản nháp của một bài báo đầy đủ bao gồm các giải thích bằng ngôn ngữ tự nhiên, bối cảnh lịch sử và các kết nối tài liệu. Chế độ kể chuyện toán học nhanh chóng mới này, điều mà trước đây thường không thể thực hiện được với các công cụ truyền thống, giờ đây đã trở thành hiện thực.