.@AdamMarblestone legt de waarde uit van al deze inspanningen om AI formele wiskundige redenering te laten automatiseren: "Ik zie het als toen iedereen assemblycode moest schrijven. Het aantal coole startups dat werd opgericht was veel minder. Minder mensen konden het doen. Vooruitgang was meer moeizaam, traag en eenzaam. Ik denk dat er eigenlijk veel mensen zijn die interessante ideeën zouden kunnen hebben. Kun je buitenstaanders in de snaartheorie hebben omdat de wiskunde gewoon voor hen door de computer wordt gedaan? Leidt dat tot meer innovatie in de snaartheorie? Misschien wel."