Veldig spent på at AlphaProof-papiret vårt endelig er ute! Det er det siste jeg jobbet med hos DeepMind, veldig tilfredsstillende å kunne dele alle detaljene nå - veldig morsomt prosjekt og fantastisk team!