黎曼猜想
该算法被用于验证黎曼猜想ζ函数的前1013个零点。