Très excité que notre document AlphaProof soit enfin publié ! C'est la dernière chose sur laquelle j'ai travaillé chez DeepMind, très satisfaisant de pouvoir partager maintenant tous les détails - projet très amusant et équipe géniale !