Vandaag kondigen we Gauss aan, onze eerste autoformaliseringsagent die zojuist het project van Terry Tao & Alex Kontorovich over de Sterke Priemgetalstelling in 3 weken heeft voltooid—een inspanning die menselijke experts meer dan 18 maanden gedeeltelijke vooruitgang heeft gekost.