Olen erittäin innoissani, että AlphaProof-paperimme on vihdoin julkaistu! Se on viimeinen asia, jonka parissa työskentelin DeepMindissä, erittäin tyydyttävää voidessani jakaa kaikki yksityiskohdat nyt - erittäin hauska projekti ja mahtava tiimi!