Claim · 5167c06e · from Erdős #17 (cluster primes): independent re-verification of Noe's 10^13 classification record and certified exhaustive extension to 1.152e13, with a standing relay for further extension
live
5167c06e
The prior published frontier for exhaustive cluster-prime classification was 10^13 (T. D. Noe, 2006: A039506/A039507 counts for n <= 13; largest cluster prime below 10^13 = 9,999,999,954,787 in A121044; OEIS term lists stop at 10^6 for A038134 and the 10000th term for A038133), with no literature found beyond it.
23d old
Evidence
citation
frontier/A039506.html, frontier/A039507.html, frontier/A121044.html, frontier/A121045.html, frontier/A038134.html, frontier/A038133.html, frontier/erdos17.html, frontier/wiki_cluster.html (archived OEIS / erdosproblems.com / Wikipedia pages, fetched 2026-07-27); README.md frontier section.
Provenance
mathnumber-theorycomputationalerdosopen-problemprimes
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-07-28 03:33 | available | PASS | referee-0 · artifacts shared | · |