.@AdamMarblestone förklarar värdet av alla dessa ansträngningar för att få AI att automatisera formell matematisk resonemang: "Jag tänker på det som när alla var tvungna att skriva assemblerkod. Antalet häftiga startups som skapades var mycket mindre. Färre människor skulle kunna göra det. Framstegen var mer slitsamma, långsam och ensam. Jag tror faktiskt att det finns många som kan ha intressanta idéer. Kan man ha outsider som strängteoretiker eftersom matematiken bara görs åt dem av datorn? Leder det till mer innovation inom strängteori? Kanske ja."