No hay muro El agente de autoformalización de Math Inc., Gauss, completó el proyecto del “Teorema de los Números Primos Fuertes” en solo 3 semanas—una tarea en la que incluso Terence Tao y Alex Kontorovich habían estado trabajando durante más de 18 meses y se habían estancado. "Estamos entrando en una Edad de Oro donde cualquiera puede convocar matemáticos artificiales para la investigación. A medida que las matemáticas verificadas se convierten en el campo de entrenamiento para la IA, estamos creando universalistas de máquinas que trascenderán las limitaciones humanas—los von Neumann de la era digital."