Дуже раді, що наш папір AlphaProof нарешті вийшов! Це остання річ, над якою я працював у DeepMind, дуже приємно мати можливість поділитися повною інформацією зараз - дуже веселий проект і чудова команда!