Det finns ingen vägg Math Inc.:s autoformaliseringsagent Gauss slutförde projektet "Strong Prime Number Theorem" på bara 3 veckor – en uppgift som till och med Terence Tao och Alex Kontorovich hade arbetat med i över 18 månader och hade fastnat i. – Vi är på väg in i en guldålder där vem som helst kan kalla på artificiella matematiker för forskning. I takt med att verifierad matematik blir träningsplatsen för AI skapar vi maskinuniversalister som kommer att överskrida mänskliga begränsningar – den digitala tidsålderns von Neumanns."