Polignac's conjecture
Let denote the increasing sequence of all prime numbers, so that and are consecutive primes for every . For an even positive integer and a real number , put
For every even positive integer there are infinitely many indices with ; equivalently, as for every even . That is, for every even there are infinitely many primes such that is \prime and no \prime lies strictly between and .
References
Primary source
Additional references
- Wikipedia, Polignac's conjecture, the article this problem comes from.
Progress summary
The conjecture remains unproved, despite major progress on bounded prime gaps and unsupported claims of a complete proof.
Proposed by Alphonse de Polignac in 1849, the conjecture predicts infinitely many consecutive prime pairs at every prescribed positive even gap. No particular even gap has been proved to occur infinitely often as a consecutive-prime gap.
Known results
- Zhang, 2013: some even gap occurs infinitely often.
- Maynard and Tao, 2013--2014: bounded-gap methods reduced the unconditional bound to .
- Chen, 1966: for every even , infinitely many primes have prime or semiprime.
- Sawin and Shusterman, 2019: the analogous statement holds for prime polynomials over finite fields, not ordinary primes.
August 12 claimed proof
A post dated August 12 claimed “Proof of Polignac’s conjecture! QED.” No proof, verification, or independent confirmation is supplied in the scan. Separately, Sankei et al. published a claimed logical proof on March 16, 2024, while the article itself acknowledged that the conjecture remained unproven.
Current status (as of August 2026): Bounded gaps are known, but Polignac’s conjecture for every even remains open; the August 12 proof claim is unverified.
Sources
- en.wikipedia.org
- mathoverflow.net
- quantamagazine.org
- x.com
- hal.science
- arxiv.org
- mathematicsgroup.com
- carmin.tv
- scientificamerican.com
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- quantamagazine.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- x.com
- x.com
- x.com
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- doi.org
- x.com
- x.com
- x.com
- x.com
- x.com
- x.com
- arxiv.org
- x.com
- x.com
- x.com
- x.com
- x.com
Solutions 0
No solutions have been posted yet.