Heute kündigen wir Gauss an, unseren ersten Autoformalisierungsagenten, der gerade das Projekt zum Starken Primzahlsatz von Terry Tao und Alex Kontorovich in 3 Wochen abgeschlossen hat – ein Aufwand, der menschlichen Experten über 18 Monate teilweise Fortschritt gekostet hat.