Aujourd'hui, nous annonçons Gauss, notre premier agent d'autoformatisation qui vient de terminer le projet du Théorème des Nombres Premiers Forts de Terry Tao et Alex Kontorovich en 3 semaines—un effort qui a pris aux experts humains plus de 18 mois de progrès partiels.