Terence Tao mengatakan terobosan sebenarnya bukan hanya AI yang memecahkan masalah Erdős. Begitulah cara menulis ulang makalah, lagi dan lagi. Namun di luar solusinya, Tao menyoroti sesuatu yang lebih mendalam: munculnya siklus tulis-penulisan ulang bertenaga AI untuk eksposisi matematika. Melalui perpaduan alat seperti ChatGPT dan Aristoteles (formalizer Lean), pengguna AI secara kolaboratif tidak hanya menghasilkan bukti, tetapi beberapa draf makalah lengkap termasuk penjelasan bahasa alami, pembingkaian sejarah, dan koneksi literatur. Mode baru penceritaan matematika cepat yang secara rutin mustahil dengan alat tradisional ini sekarang menjadi nyata.