Estou entusiasmado por compartilhar que estou começando uma nova empresa dedicada à criação de superinteligência verificada através da autoformalização. Baseando-se na incrível infraestrutura de RL que desenvolvemos na @morph_labs, a @mathematics_inc já alcançou um resultado inovador ao completar a formalização do teorema dos números primos fortes com seu novo agente de autoformalização, Gauss.