.@AdamMarblestone пояснює цінність усіх цих зусиль щодо автоматизації формального математичного мислення ШІ: "Я думаю про це як про те, коли всі мали писати асемблерний код. Кількість крутих стартапів, які були створені, була значно меншою. Менше людей могли це зробити. Прогрес був більш виснажливим, повільним і самотнім. Я думаю, що є багато людей, які можуть мати цікаві ідеї. Чи можна мати сторонніх теоретиків струн, бо математика просто виконується комп'ютером? Чи призведе це до нових інновацій у теорії струн? Можливо, так.»