Hoy anunciamos Gauss, nuestro primer agente de autoformalización que acaba de completar el proyecto del Teorema de Números Primos Fuertes de Terry Tao y Alex Kontorovich en 3 semanas—un esfuerzo que tomó a expertos humanos más de 18 meses de progreso parcial.