Es decir, el algoritmo AKS resuelve el problema de la primalidad de manera determinista y en un tiempo polinómico.