Benvenuto @mathematics_inc - una nuova azienda dedicata all'autoformalizzazione e alla creazione di superintelligenza verificata incubata in Morph negli ultimi mesi. Unicamente abilitata dall'infrastruttura di calcolo nativa Infinibranch di Morph, il primo prodotto di Math, Inc. è Gauss, un agente di autoformalizzazione che raggiunge un'incredibile scalabilità del calcolo in fase di test per questo dominio, con migliaia di agenti concorrenti che lavorano ciascuno per un massimo di 12 ore alla volta per creare una formalizzazione di 25.000 LOC del Teorema dei Numeri Primi Forti. Questo comprime ciò che prima richiedeva anni agli esperti in poche settimane. È un'anteprima del futuro del lavoro della conoscenza --- autonomo, su scala planetaria, progettato per potenziare gli esseri umani e le loro gloriose realizzazioni --- che sarà costruito su Morph Cloud.