Muito entusiasmado por finalmente termos o nosso documento AlphaProof publicado! É a última coisa em que trabalhei na DeepMind, é muito satisfatório poder compartilhar todos os detalhes agora - foi um projeto muito divertido e uma equipe incrível!