Bienvenido @mathematics_inc, una nueva empresa dedicada a la autoformalización y la creación de superinteligencia verificada incubada en Morph durante los últimos meses. Habilitado de forma única por la infraestructura informática del entorno nativo de Infinibranch de Morph, el primer producto de Math, Inc. es Gauss, un agente de autoformalización que logra un escalado informático en tiempo de prueba sin precedentes para este dominio, con miles de agentes simultáneos, cada uno trabajando durante hasta 12 horas a la vez para crear una formalización de 25.000 LOC del teorema de los números primos fuertes. Esto comprime lo que solía llevar años a los expertos en unas pocas semanas. Es un vistazo al futuro del trabajo del conocimiento --- autónomo, a escala planetaria, diseñado para empoderar a los humanos y sus gloriosos logros --- que se construirán en Morph Cloud.

Estamos emocionados de darle la bienvenida a @jdlichtman a Morph como nuestro matemático jefe, donde acortará el camino hacia la superinteligencia verificada.

Nos complace anunciar Trinity, un sistema de autoformalización para superinteligencia verificada que hemos desarrollado en @morph_labs. Lo hemos utilizado para formalizar automáticamente en Lean un resultado clásico de De Bruijn de que la conjetura abc es cierta casi siempre.