.@AdamMarblestone wyjaśnia wartość wszystkich tych wysiłków, aby AI zautomatyzowało formalne rozumowanie matematyczne: "Myślę o tym jak o czasach, gdy wszyscy musieli pisać kod w asemblerze. Ilość fajnych startupów, które powstały, była znacznie mniejsza. Mniej ludzi mogło to robić. Postęp był bardziej żmudny, wolny i samotny. Myślę, że tak naprawdę jest wielu ludzi, którzy mogliby mieć interesujące pomysły. Czy można mieć zewnętrznych teoretyków strun, ponieważ matematyka jest po prostu wykonywana za nich przez komputer? Czy to prowadzi do większej innowacji w teorii strun? Może tak."