Jag är mycket glad över att vårt AlphaProof-papper äntligen är ute! Det är det sista jag arbetade med på DeepMind, mycket tillfredsställande att kunna dela med mig av alla detaljer nu - mycket roligt projekt och fantastiskt team!