Tänään julkistamme Gaussin, ensimmäisen autoformalisointiagenttimme, joka sai juuri päätökseen Terry Taon ja Alex Kontorovichin vahvan alkulukulauseen projektin 3 viikossa – ponnistus, joka vei ihmisasiantuntijoilta 18+ kuukautta osittaista edistystä.