Kiểm tra chứng minh tự động