Phép kiểm tra tính nguyên tố AKS (còn được gọi là phép kiểm tra tính nguyên tố Agrawal–Kayal–Saxena và phép kiểm tra cyclotomic AKS) là một thuật toán chứng minh tính nguyên tố xác định được được phát triển và công khai bởi Manindra Agrawal, Neeraj Kayal, và Nitin Saxena, là các nhà khoa học máy tính tại Viện công nghệ Ấn Độ Kanpur vào 06-08-2002, trong bài báo khoa học có tựa đề "PRIMES is in P". Đây là thuật toán đầu tiên dùng để xác định một số bất kỳ là số nguyên tố hay hợp số trong một thời gian dạng đa thức. Các tác giả của thuật toán này được nhận Giải thưởng Gödel năm 2006 và Giải thưởng Fulkerson năm 2006.