在计算机科学中，Aks 是一种用于验证素数的算法，具有多项式时间复杂度，是首个被证明为确定性多项式时间的素数测试方法。