AlphaProof makalemiz nihayet çıktığı için çok heyecanlıyım! DeepMind'da üzerinde çalıştığım son şey, şimdi tüm ayrıntıları paylaşabilmek çok tatmin edici - çok eğlenceli bir proje ve harika bir ekip!