Není tu žádná zeď Gauss, autoformalizační agent společnosti Math Inc., dokončil projekt "Strong Prime Number Theorem" za pouhé 3 týdny – úkol, na kterém dokonce i Terence Tao a Alex Kontorovich pracovali více než 18 měsíců a zasekli se. "Vstupujeme do Zlatého věku, kde kdokoli může povolat umělé matematiky pro výzkum. S tím, jak se ověřená matematika stává tréninkovým polem pro umělou inteligenci, vytváříme strojové univerzalisty, kteří překročí lidská omezení – von Neumannovy digitálního věku."