No hay muro El agente de autoformalización de Math Inc., Gauss, completó el proyecto "Teorema de 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 atascado. "Estamos entrando en una Edad de Oro en la que cualquiera puede convocar a 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".