.@AdamMarblestone explica o valor de todos esses esforços para que a IA automatize o raciocínio matemático formal: "Eu vejo isso como quando todos tinham que escrever código de montagem. A quantidade de startups legais que foram criadas era muito menor. Menos pessoas podiam fazê-lo. O progresso era mais penoso, lento e solitário. Acho que na verdade há muitas pessoas que poderiam ter ideias interessantes. Será que podemos ter teóricos de cordas de fora porque a matemática é simplesmente feita para eles pelo computador? Isso leva a mais inovação na teoria das cordas? Talvez sim."