Ei ole seinää Math Inc.:n autoformalisointiagentti Gauss sai "Vahvan alkulukulauseen" projektin valmiiksi vain 3 viikossa – tehtävän, jonka parissa jopa Terence Tao ja Alex Kontorovich olivat työskennelleet yli 18 kuukautta ja johon he olivat juuttuneet. "Olemme siirtymässä kulta-aikaan, jossa kuka tahansa voi kutsua keinotekoisia matemaatikoita tutkimukseen. Kun todennetusta matematiikasta tulee tekoälyn harjoitusalusta, luomme koneuniversalisteja, jotka ylittävät inhimilliset rajoitukset – digitaalisen aikakauden von Neumannit."