Hoy anunciamos a Gauss, nuestro primer agente de autoformalización que acaba de completar el proyecto Strong Prime Number Theorem de Terry Tao y Alex Kontorovich en 3 semanas, un esfuerzo que tomó a los expertos humanos 18+ meses de progreso parcial.