Estou animado para compartilhar que estou iniciando uma nova empresa dedicada à criação de superinteligência verificada por meio de autoformalização. Com base na incrível infraestrutura de RL que desenvolvemos na @morph_labs, a @mathematics_inc já alcançou um resultado inovador ao concluir a formalização do teorema do número primo forte com seu novo agente de autoformalização, Gauss.