.@AdamMarblestone giải thích giá trị của tất cả những nỗ lực này để AI tự động hóa lý luận toán học chính thức: "Tôi nghĩ về điều đó giống như khi mọi người phải viết mã assembly. Số lượng các công ty khởi nghiệp thú vị được tạo ra ít hơn rất nhiều. Ít người có thể làm điều đó. Tiến trình trở nên chậm chạp, khó khăn và cô đơn hơn. Tôi nghĩ thực sự có rất nhiều người có thể có những ý tưởng thú vị. Liệu có thể có những nhà lý thuyết dây bên ngoài vì toán học chỉ được máy tính thực hiện cho họ? Điều đó có dẫn đến nhiều đổi mới hơn trong lý thuyết dây không? Có thể là có."