Foarte încântat că lucrarea noastră AlphaProof a apărut în sfârșit! Este ultimul lucru la care am lucrat la DeepMind, foarte satisfăcător să pot împărtăși toate detaliile acum - proiect foarte distractiv și echipă minunată!