数还是"可能是"素数。卡内基梅隆大学的计算机系教授Gary Lee Miller首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的Michael O. Rabin教授作出修改，提出了不依赖于该假设的随机化算法。
概念.首先介绍一个相关的引理。我们发现 formula_1 和 formula_2 总是得到 formula_3，我们称 formula_4 和 formula_3 是 formula_6 的“平凡平方根”，当 formu