Hoje estamos a anunciar o Gauss, o nosso primeiro agente de autoformalização que acabou de completar o projeto do Teorema dos Números Primos Fortes de Terry Tao e Alex Kontorovich em 3 semanas—um esforço que levou a especialistas humanos mais de 18 meses de progresso parcial.