¡Muy emocionado de que nuestro documento AlphaProof finalmente esté disponible! Es lo último en lo que trabajé en DeepMind, es muy satisfactorio poder compartir todos los detalles ahora - ¡proyecto muy divertido y equipo increíble!