2002年，ManindraAgrawal,NeerajKayalおよびNitinSaxenaは、AKS素数判定法を用いて無条件にこの結果を証明した。
然而,在2002年的论文PRIMESisinP,ManindraAgrawal与他的学生NeerajKayal和NitinSaxena为了这个问题找到了一决定性，多项式时间的算法，因而证实这个问题是在P里面。