Sono entusiasta di condividere che sto avviando una nuova azienda dedicata alla creazione di superintelligenza verificata tramite autoformalizzazione. Basandosi sull'incredibile infrastruttura RL che abbiamo sviluppato presso @morph_labs, @mathematics_inc ha già raggiunto un risultato straordinario completando la formalizzazione del teorema dei numeri primi forti con il suo nuovo agente di autoformalizzazione, Gauss.