The definition of a probabilistically checkable proof was explicitly introduced by Arora and Safra in 1992, although their properties were studied earlier.
Định nghĩa của chứng minh có thể kiểm chứng ngẫu nhiên được đưa ra bởi Arora và Safra năm 1992, tuy nhiên các tính chất của chúng đã được nghiên cứu từ trước.