Progress on the polynomial-time computability of prime numbers.