I dag kunngjør vi Gauss, vår første autoformaliseringsagent som nettopp fullførte Terry Tao & Alex Kontorovichs Strong Prime Number Theorem-prosjekt på 3 uker – en innsats som tok menneskelige eksperter 18+ måneder med delvis fremgang.