.@AdamMarblestone explică valoarea tuturor acestor eforturi de a automatiza AI raționamentul matematic formal: "Mă gândesc la asta ca atunci când toată lumea trebuia să scrie cod de asamblare. Numărul startup-urilor interesante care s-au creat a fost mult mai mic. Mai puțini oameni ar putea face asta. Progresul era mai greu, lent și singuratic. Cred că sunt de fapt mulți oameni care ar putea avea idei interesante. Poți avea teoreticieni ai corzilor din afara lui pentru că calculele sunt făcute doar de calculator? Duce asta la mai multă inovație în teoria corzilor? Poate da."