.@AdamMarblestone forklarer verdien av alle disse innsatsene for å få AI til å automatisere formell matematisk resonnement: "Jeg tenker på det som da alle måtte skrive assemblerkode. Antallet kule oppstartsbedrifter som ble opprettet var mye mindre. Færre kunne gjort det. Fremgangen var mer slitsom, langsom og ensom. Jeg tror det faktisk er mange som kan ha interessante ideer. Kan man ha outsider strengteoretikere fordi matematikken bare gjøres for dem av datamaskinen? Fører det til mer innovasjon innen strengteori? Kanskje ja."