View Single Post
Old 2020-11-17, 18:28   #406
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

37×97 Posts
Default

Quote:
Originally Posted by sweety439 View Post
Have all exponents <= 13372531 (the largest known Wagstaff exponent, found in 2013) been tested?
Unknown. We tested up to 10^7. Ryan worked independently to find the two records.
paulunderwood is offline