Sono molto entusiasta che il nostro documento AlphaProof sia finalmente uscito! È l'ultima cosa su cui ho lavorato a DeepMind, è molto soddisfacente poter condividere ora tutti i dettagli - è stato un progetto molto divertente e un team fantastico!