.@AdamMarblestone تشرح قيمة كل هذه الجهود لجعل الذكاء الاصطناعي أتمتة التفكير الرياضي الرسمي: "أفكر في الأمر كما لو كان على الجميع كتابة كود التجميع. عدد الشركات الناشئة الرائعة التي تم إنشاؤها كان أقل بكثير. عدد أقل من الناس يمكنهم فعل ذلك. كان التقدم أكثر صعوبة، وبطيئا، ووحيدا. أعتقد أن هناك الكثير من الناس الذين قد يكون لديهم أفكار مثيرة للاهتمام. هل يمكن أن يكون لديك منظرون أوتار خارجيون لأن الرياضيات تتم لهم بواسطة الكمبيوتر؟ هل يؤدي ذلك إلى المزيد من الابتكار في نظرية الأوتار؟ ربما نعم."