Det er ingen vegg Math Inc.s autoformaliseringsagent Gauss fullførte "Strong Prime Number Theorem"-prosjektet på bare 3 uker – en oppgave som til og med Terence Tao og Alex Kontorovich hadde jobbet med i over 18 måneder og hadde satt seg fast på. «Vi går inn i en gullalder der hvem som helst kan tilkalle kunstige matematikere til forskning. Etter hvert som verifisert matematikk blir treningsområdet for AI, skaper vi maskinuniversalister som vil overskride menneskelige begrensninger – den digitale tidsalderens von Neumann.»