Rất hào hứng vì tài liệu AlphaProof của chúng tôi cuối cùng cũng đã ra mắt! Đây là điều cuối cùng tôi đã làm tại DeepMind, thật thỏa mãn khi có thể chia sẻ đầy đủ chi tiết bây giờ - một dự án rất thú vị và một đội ngũ tuyệt vời!