aks素数判定法が最終的にこの長年の問題に終止符を打ち、primesがpに属することを証明した。