متحمس جدا لأن ورقة AlphaProof الخاصة بنا قد صدرت أخيرا! إنه آخر شيء عملت عليه في DeepMind ، إنه لمن دواعي سروري أن أكون قادرا على مشاركة التفاصيل الكاملة الآن - مشروع ممتع للغاية وفريق رائع!