Ask HN: What is the largest known prime in sequence?

[joemaffei]

As of writing, 2^82,589,933 − 1 is the largest known prime, but do we know all of the primes lower than it? If not, what is the largest known prime in sequence, without gaps?

[philomath_mn]

This [1] is a good comment explaining why we will never know all the primes up to the largest known prime.

I am having a surprisingly hard time finding the answer to the second part of your question. This site [2] samples the first 50 million primes, and the OEIS tracks this sequence as A000040 [3] but they provide a very short list. No luck finding the longest computed A000040 sequence so far.

EDIT:

The research on the Golbach Conjecture summarized here [4] found all the primes up to 10^18, that is the most I am finding so far.

[1]: https://www.reddit.com/r/math/comments/21nclc/comment/cgepan...

[2]: https://primes.utm.edu/lists/small/millions/

[3]: https://oeis.org/A000040

[4]: http://sweet.ua.pt/tos/goldbach.html

[OJFord]

Is it possible to verify a prime without knowing all smaller primes by corollary at least?

[kadoban]

Yes. Very few (no?) primality tests require knowing or learning all primes up to the number being tested. Even trial division (the most simplistic test), you can stop looking for potential divisors once you pass sqrt(n), you learn nothing about most numbers up to n.

[vemodalen]

For Mersenne primes M(57 885 161) is the largest without a gap [0]

There is tracking of these [1]

[0] https://www.mersenneforum.org/showthread.php?p=595056#post59...

[1] https://www.mersenne.org/report_milestones/

[kadoban]

We certainly do not know all primes lower than it. Our universe could not contain the answer of writing them all out.

I'm not sure the answer of the second part.