01Agrawal, Kayal, Saxena and AKS: Primality in Deterministic Polynomial TimeAKS settled a longstanding complexity question by giving the first unconditional deterministic polynomial-time algorithm for deciding whether an integer is prime.↗