.@AdamMarblestone spiega il valore di tutti questi sforzi per far automatizzare il ragionamento matematico formale dall'AI: "Lo vedo come quando tutti dovevano scrivere codice assembly. La quantità di startup interessanti che sono state create era molto inferiore. Meno persone potevano farlo. I progressi erano più faticosi, lenti e solitari. Penso che ci siano in realtà molte persone che potrebbero avere idee interessanti. Puoi avere teorici delle stringhe esterni perché la matematica è semplicemente fatta per loro dal computer? Questo porta a più innovazione nella teoria delle stringhe? Forse sì."