Emocionado de compartir que estoy comenzando una nueva empresa dedicada a la creación de superinteligencia verificada a través de la autoformalización. Basándonos en la increíble infraestructura de RL que hemos desarrollado en @morph_labs, @mathematics_inc ya ha logrado un resultado innovador al completar la formalización del teorema de los números primos fuertes con su nuevo agente de autoformalización, Gauss.