Bine ați venit @mathematics_inc - o nouă companie dedicată autoformalizării și creării de superinformații verificate incubate la Morph în ultimele luni. Primul produs al Math, Inc. este Gauss, un agent de autoformalizare care realizează o scalare de calcul fără precedent pentru acest domeniu, cu mii de agenți simultani care lucrează fiecare timp de până la 12 ore la un moment dat pentru a crea o formalizare de 25.000 LOC a teoremei numerelor prime puternice. Acest lucru comprimă ceea ce obișnuia să dureze experți ani în câteva săptămâni. Este o privire asupra viitorului muncii de cunoaștere --- nivel autonom, la scară planetară, concepută pentru a împuternici oamenii și realizările lor glorioase --- care vor fi construite pe Morph Cloud.