AKS素数判定法（AKSそすうはんていほう）は、与えられた自然数が素数であるかどうかを決定的多項式時間で判定できる、世界初のアルゴリズムである。ここで、素数判定法が多項式時間であるとは、与えられた自然数 が素数であるかどうかを判定するのにかかる時間が の多項式を上界とすることをいう。 の多項式ではないことに注意する必要がある。

AKS素数判定法は2002年8月6日に "PRIMES is in P" と題された論文で発表された。Agrawal-Kayal-Saxena 素数判定法としても知られ、論文の著者であるインド工科大学のマニンドラ・アグラワル教授と、2人の学生ニラジュ・カヤル、の3人の名前から付けられた。

この素数判定法が発見される以前にも、素数の判定方法は多数知られていたが、リーマン予想などの仮説を用いずに、決定的多項式時間で判定できるアルゴリズムは存在しなかった。

素数判定という重要な問題が実際にクラスPに属することを示した点で理論的には大躍進であった。しかし実用的には、多項式の次数が高すぎるので、今まで判定できなかった素数を高速に判定できるようになったわけではない（まだ「一般数体篩法」で因数分解した方がよい）。

 発想 
AKS素数判定法は、ある意味ではフェルマーテストの改良と見ることができる。

フェルマーの小定理の対偶である次のような命題を考える。
 , が互いに素な自然数であるとする。

 であるとき、 は合成数である。
フェルマーテストはこの十分条件によって確率的素数判定を行うものであったが、上は必要条件ではないので、合成数であるにもかかわらずそれを検出できない場合があった。特に、カーマイケル数と呼ばれる合成数が無限個存在し、これらはいかなる を用いても合成数であることを検出できない。

そこで、この条件を次のように改良する。
, が互いに素な自然数であるとする。
 
であることは、 は合成数であることと同値である。
このことは、二項定理により各次数の係数を評価すれば容易に証明できる。

上の式は、 が恒等的に 0 だと思えばフェルマーの小定理の対偶そのものである。つまり、上の条件による判定はフェルマーテストをより厳密にしたものといえる。

厳密にしたことによりフェルマーテストとは異なり必要十分条件を与えている。したがって上の合同式を真面目に評価してやれば素数性を判定する決定性アルゴリズムができるが、これは時間がかかりすぎる。つまり、最悪の場合 個の係数を評価しなければならないので、これは のビット数に対して指数関数時間である。

そこでもう少し大雑把に評価することにする。具体的には、何らかの小さい をとって を法として評価する。すると、 による剰余は高々 次だから、評価する係数の数を減らすことができる。
 
しかし、これは「大雑把な評価」である。評価を楽にした分、その精度も落ちている。このままでは、合成数なのに誤って素数であると判定してしまう恐れがある。そこで、パラメータ を動かして、たくさんの に対して上の合同式を評価することで埋め合わせにする。

この発想が、AKSアルゴリズムの肝である。つまり、十分にたくさんの について上の合同式を確かめれば、 を法としたままでも素数性を厳密に判定することができる（これは自明ではないが、証明できる）。そして、 を動かす範囲や適切な の値は に対してそれほど大きくならないので、この方法は最初の合同式を真面目に評価するより速く、多項式時間で動作する。

 アルゴリズム 
素数性を判定すべき、2以上の自然数 を入力する。
 もし、が累乗数であるならば「合成数である」と出力してアルゴリズムを終了する。
 になる最小の を見つける。
 もし、ある に対して ならば、「合成数である」と出力してアルゴリズムを終了する。
 もし、 ならば、「素数である」と出力してアルゴリズムを終了する。
 から まで、順に を動かすものとする。もしならば、「合成数である」と出力してアルゴリズムを終了する。
「素数である」と出力してアルゴリズムを終了する。
ただし、上において、
 は , の最大公約数
 は を法とした の位数、つまり なる最小の自然数 である。
 はガウス記号
 はオイラーのφ関数

 解説 
 第5ステップで用いている判定法は、累乗数についてはうまく働かない。累乗数であるならばすなわち合成数なのだから、最初のステップにおいて累乗数であると判明した場合には「合成数である」と出力して終了する。
 次に、 の位数が十分に大きくなるような法 を求める。このような が存在するのかどうかが問題となるが、最小公倍数に関する議論から までに存在することが示される。
 その次に、 が実際に の元であるかを確かめている。これは第5ステップが正しく動作するために必要である。 に属する必要十分条件が (n, r) = 1 であるが、この段階で最大公約数が 1 でなかったなら、それはつまり の非自明な因数が発見されたということであるから、「合成数である」と出力して終了する。
 第4ステップでは、もしこの段階で であったならば、第3ステップにおいて が までのすべての数と互いに素であると確認したことになるから、「素数である」と出力して終了する。これは、 が非常に小さい数の場合に発生するケースであり、400 より大きい についてはあまり起こらない。
 第5ステップは、アルゴリズムの中心的な部分である。ここでいずれかの についてこの合同式が不成立であれば、 は合成数である。このことは二項定理を用いて係数を真面目に評価すれば容易に証明できる。
 第5ステップにおいて、十分に多くの を用いても合成数であることを検出できなかったなら、そのとき は実際に素数である。このことがAKSアルゴリズムの中核であり、PRIMES is in P の半ばはその証明に費やされている。

 時間的計算量 
AKSアルゴリズムの時間的計算量は高々 である。

PRIMES is in P の初版では、このアルゴリズムは のアルゴリズムとして提示された。その後の改訂を経て、現在では であることが証明されている。しかし、実際には であろうと考えられている。また、現在の証明は篩理論の高度な結果によっているが、初歩的な代数学の知識だけでも であることは証明できる。

ただし、記法 は、次のように定義される。

即ち、記号 はランダウの記号 O を少しだけ弱めたものである。 ならば、任意の について が成立する（逆は成り立たない）。

 各ステップの評価 
 p進のニュートン法を用いれば、各自然数 について は で計算できる。 なる の上界は であるから、最初のステップは で動作する。
 第2ステップは、 であったことを思い出せば、 で動作するといえる。
 第3ステップでは、ユークリッドの互除法を用いれば最大公約数 1 つを で計算できる。これを 回繰り返すので、第3ステップにかかる時間は である。
 第4ステップは、単に比較するだけであるから である。
 第5ステップでは、 で考えているので多項式の次数は高々 であり、 で考えているので係数は高々 である。高速フーリエ変換を用いれば、このような多項式の冪は で計算される。繰り返しの回数をかければ、第5ステップは で動作するといえる。
 第6ステップは、定数時間である。
したがって、全体の時間は であるといえる。

 評価の改良 
全体の時間を支配しているのは、第5ステップの時間であり、ひいては の大きさである。したがって、実は は よりも小さく定まるということを証明できれば、計算量の評価を改善することができる。

 篩理論より であるということが分かるので、実際にはアルゴリズムは で動作する。

更に、いくつかの証明されていない仮説を認めるならば、 の評価をより小さくできる。
 アルチン予想を認めるならば である。
 ソフィー・ジェルマン素数の密度予想が正しいと仮定すれば、 である。
これらの仮説はともに一般リーマン仮説を認めれば証明できる。多くの数学者がリーマン仮説は正しいと信じていることを考えれば、 つまり、AKSアルゴリズムの時間的計算量が である見込みは高い。