.@AdamMarblestone selittää kaikkien näiden ponnistelujen arvon, jotta tekoäly automatisoi muodollisen matematiikan päättelyn: "Ajattelen sitä kuin silloin, kun kaikkien piti kirjoittaa assembly-koodia. Siistejä startup-yrityksiä syntyi paljon vähemmän. Harvemmat pystyivät siihen. Edistyminen oli enemmän hitaampaa ja yksinäisempää. Uskon, että on itse asiassa paljon ihmisiä, joilla voisi olla mielenkiintoisia ideoita. Voiko ulkopuolisia säieteoreetikoita olla, koska matematiikka tehdään heidän puolestaan tietokoneella? Johtaako tämä lisää innovaatioihin säieteoriassa? Ehkä kyllä."