.@AdamMarblestone объясняет ценность всех этих усилий по автоматизации формального математического рассуждения с помощью ИИ: "Я думаю об этом так, как когда все должны были писать код на ассемблере. Количество классных стартапов, которые были созданы, было гораздо меньше. Меньше людей могли это сделать. Прогресс был более трудоемким, медленным и одиноким. Я думаю, что на самом деле есть много людей, у которых могут быть интересные идеи. Могут ли быть аутсайдеры-теоретики струн, потому что математика просто выполняется за них компьютером? Приведет ли это к большему количеству инноваций в теории струн? Возможно, да."