Bem-vindo @mathematics_inc - uma nova empresa dedicada à autoformalização e à criação de superinteligência verificada incubada na Morph nos últimos meses. Habilitada de forma única pela infraestrutura de computação nativa do Infinibranch da Morph, o primeiro produto da Math, Inc. é o Gauss, um agente de autoformalização que alcança uma escalabilidade de computação em tempo de teste sem precedentes para este domínio, com milhares de agentes concorrentes, cada um trabalhando por até 12 horas de cada vez para criar uma formalização de 25.000 LOC do Teorema dos Números Primos Fortes. Isso comprime o que costumava levar anos a especialistas em algumas semanas. É um vislumbre do futuro do trabalho do conhecimento --- autônomo, em escala planetária, projetado para capacitar os humanos e suas gloriosas conquistas --- que será construído na Morph Cloud.