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

Estamos entusiasmados em recebê@jdlichtman lo no Morph como nosso matemático-chefe, onde ele encurtará o caminho para a superinteligência verificada.

Temos o prazer de anunciar o Trinity, um sistema de autoformalização para superinteligência verificada que desenvolvemos na @morph_labs. Nós o usamos para formalizar automaticamente em Lean um resultado clássico de de Bruijn de que a conjectura abc é verdadeira quase sempre.