Heel enthousiast dat ons AlphaProof-document eindelijk uit is! Het is het laatste waar ik aan heb gewerkt bij DeepMind, het is zeer bevredigend om nu de volledige details te kunnen delen - een heel leuk project en een geweldig team!