¿El trabajo realizado en el algoritmo AKS es muy complejo?

De los diversos algoritmos avanzados, es más comprensible que algunos porque no se basa en cosas como curvas elípticas. El teorema clave es una generalización del pequeño teorema de Fermat a los anillos polinomiales. Eso no es suficiente por sí mismo; También había que encontrar una manera inteligente de vincular una variable. La investigación aún está en curso para acelerar el algoritmo.

El artículo de Wikipedia AKS primality test explica las ideas básicas y el artículo de Terrence Tao El artículo AKS primality test resume la prueba.

La prueba de primalidad AKS es el resultado de 2002 de Agrawal, Kayal y Saxena, todos del Instituto Indio de Tecnología Kanpur. Kayal y Saxena eran estudiantes en ese momento.

Quizás la prueba no se descubrió antes porque los investigadores estaban mirando otras cosas. A veces vale la pena mirar los problemas desde una nueva dirección.