Sangat senang bahwa kertas AlphaProof kami akhirnya keluar! Ini adalah hal terakhir yang saya kerjakan di DeepMind, sangat memuaskan untuk dapat membagikan detail lengkapnya sekarang - proyek yang sangat menyenangkan dan tim yang luar biasa!