Chứng minh có máy tính hỗ trợ