.@AdamMarblestone menjelaskan nilai dari semua upaya ini agar AI mengotomatiskan penalaran matematika formal: "Saya menganggapnya seperti ketika semua orang harus menulis kode perakitan. Jumlah startup keren yang dibuat jauh lebih sedikit. Lebih sedikit orang yang bisa melakukannya. Kemajuan lebih menggiling, lambat, dan kesepian. Saya pikir sebenarnya ada banyak orang yang bisa memiliki ide-ide menarik. Bisakah Anda memiliki ahli teori string orang luar karena matematika hanya dilakukan untuk mereka oleh komputer? Apakah itu mengarah pada lebih banyak inovasi dalam teori string? Mungkin ya."