费里耶素数

根据 Hardy 和 Wright (1979) 的说法，44 位数的费里耶素数

仅使用机械计算器确定为素数，是在电子计算机时代之前发现的最大素数。 Wolfram 语言可以在（很小的）一秒内验证这个数的素性，显示了数值计算的艺术在这些年里已经进步了多少。它可以几乎立即被证明是可能的素数

  In[1]:= FerrierPrime = (2^148 + 1)/17;
  In[2]:= PrimeQ[FerrierPrime] // Timing
  Out[2]= {0.01 Second, True}

并且几乎同样快地被验证为具有素性证书的实际素数

  In[3]:= <<PrimalityProving`
  In[4]:= ProvablePrimeQ[FerrierPrime,
          "Certificate" -> True] // Timing
  Out[4]= {0.04 Second,{True,
    {20988936657440586486151264256610222593863921,17,
      {2,{3,2,{2}},{5,2,{2}},{7,3,{2,{3,2,{2}}}},
      {13,2,{2,{3,2,{2}}}},{19,
      2,{2,{3,2,{2}}}},{37,2,{2,{3,2,{2}}}},{73,5,{
        2,{3,2,{2}}}},{97,5,{2,{3,2,{2}}}},{109,
        6,{2,{3,2,{2}}}},{241,7,{2,{3,2,{2}},{5,2,{
        2}}}},{257,3,{2}},{433,5,{2,{3,2,{2}}}},{
        577,5,{2,{3,2,{2}}}},{673,5,{2,{3,2,{2}},{
        7,3,{2,{3,2,{2}}}}}},{38737,5,{2,{3,2,{2}},
        {269,2,{2,{67,2,{2,{3,2,{2}},{11,2,{2,{5,
        2,{2}}}}}}}}}},{487824887233,5,{2,{3,2,{2}},{
        1091,2,{2,{5,2,{2}},{109,6,{2,{3,2,{2}}}}}},
        {28751,14,{2,{5,2,{2}},{23,5,
        {2,{11,2,{2,{5,2,{2}}}}}}}}}}}}}}