.@AdamMarblestone, yapay zekanın resmi matematiksel akıl yürütmeyi otomatikleştirmesi için yapılan tüm bu çabaların değerini açıklıyor: "Bunu herkesin assembly kodu yazması gerektiği zamanlar gibi düşünüyorum. Kurulan havalı startup sayısı çok daha azdı. Daha az kişi bunu yapabiliyordu. İlerleme daha zahmetli, yavaş ve yalnızdı. Bence ilginç fikirleri olabilecek birçok insan var. Dışarıdan dizi teorisyenleri olabilir mi, çünkü matematik bilgisayar tarafından yapılıyor mu? Bu, sicim teorisinde daha fazla yeniliğe yol açar mı? Belki evet."