Nu există zid Agentul de autoformalizare al Math Inc., Gauss, a finalizat proiectul "Teorema numerelor prime puternice" în doar 3 săptămâni – o sarcină la care chiar și Terence Tao și Alex Kontorovich lucrau de peste 18 luni și s-au blocat. "Intrăm într-o epocă de aur în care oricine poate convoca matematicieni artificiali pentru cercetare. Pe măsură ce matematica verificată devine terenul de antrenament pentru AI, creăm universaliști ai mașinilor care vor transcende limitările umane – von Neumann ai erei digitale."