Jsem velmi nadšený, že náš článek AlphaProof je konečně venku! Je to poslední věc, na které jsem v DeepMind pracoval, velmi uspokojující, že se nyní mohu podělit o všechny podrobnosti - velmi zábavný projekt a úžasný tým!