Não há parede O agente de autoformalização da Math Inc., Gauss, completou o projeto "Teorema dos Números Primos Fortes" em apenas 3 semanas—uma tarefa na qual até Terence Tao e Alex Kontorovich estavam trabalhando há mais de 18 meses e que haviam ficado presos. "Estamos entrando em uma Era Dourada onde qualquer um 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áquina que transcenderão as limitações humanas—os von Neumanns da era digital."