Não há muro O agente de autoformalização da Math Inc., Gauss, completou o projeto "Teorema do Número Primo Forte" em apenas 3 semanas - uma tarefa na qual até Terence Tao e Alex Kontorovich estavam trabalhando há mais de 18 meses e ficaram presos. "Estamos entrando em uma Era de Ouro em que qualquer pessoa pode convocar matemáticos artificiais para pesquisa. À medida que a matemática verificada se torna o campo de treinamento para a IA, estamos criando universalistas de máquinas que transcenderão as limitações humanas – os von Neumanns da era digital."