¡Muy emocionado de que nuestro papel AlphaProof finalmente haya salido! Es lo último en lo que trabajé en DeepMind, muy satisfactorio poder compartir todos los detalles ahora: ¡un proyecto muy divertido y un equipo increíble!