Terence Tao, gerçek atılımın sadece yapay zekanın Erdő's problemlerini çözmesi olmadığını söylüyor. Gazeteyi tekrar yazma şekli bu. Ancak çözümün ötesinde, Tao daha derin bir şeyi vurguluyor: matematiksel açıklama için yapay zeka destekli yazma-yeniden yazma döngülerinin ortaya çıkışı. ChatGPT ve Aristoteles (Lean formalizer) gibi araçların bir karışımı sayesinde, yapay zeka kullanıcıları sadece kanıtı değil, aynı zamanda doğal dil açıklamaları, tarihsel çerçeveleme ve edebiyat bağlantıları dahil olmak üzere tam bir makalenin birden fazla taslağını da işbirlikle üretti. Geleneksel araçlarla rutin olarak imkansız olan bu yeni hızlı matematiksel hikaye anlatımı yöntemi artık gerçek.