Очень рад, что наша работа по AlphaProof наконец-то опубликована! Это последняя вещь, над которой я работал в DeepMind, очень приятно теперь делиться всеми подробностями - это был очень интересный проект и потрясающая команда!