Muito animado que nosso papel AlphaProof finalmente saiu! É a última coisa em que trabalhei na DeepMind, muito gratificante poder compartilhar todos os detalhes agora - projeto muito divertido e equipe incrível!