Oggi annunciamo Gauss, il nostro primo agente di autoformalizzazione che ha appena completato il progetto del Teorema dei Numeri Primi Forti di Terry Tao e Alex Kontorovich in 3 settimane—uno sforzo che ha richiesto agli esperti umani oltre 18 mesi di progressi parziali.