.@AdamMarblestone vysvětluje hodnotu všech těchto snah o automatizaci formálního matematického uvažování AI: "Myslím na to jako na dobu, kdy každý musel psát assembler. Počet skvělých startupů, které vznikly, byl mnohem menší. Méně lidí by to mohlo udělat. Postup byl spíš grindující, pomalý a osamělý. Myslím, že je vlastně spousta lidí, kteří by mohli mít zajímavé nápady. Můžete mít outsidery teorie strun, protože matematiku za ně dělá počítač? Vede to k dalším inovacím v teorii strun? Možná ano."