Sierpiński and Riesel numbers among repdigits, repunits, repintegers and repstrings: six improved bounds and two questions answered
Abstract
Bispels, Cohen, Harrington, Lowrance, Pontes, Schaumann and Wong asked, for each of eight repetitive shapes of integer, for the smallest base or the smallest repeating block that admits a Sierpiński or a Riesel number of that shape, and answered each of the eight questions only with an upper bound. We improve six of the eight bounds and settle the remaining two exactly. The improvements are β₁ ≤ 53, β₂ ≤ 40, β₂' ≤ 39 and β₁' ≤ 94 for the four base questions, against 147, 87, 180 and 16518444216571; and κ ≤ 16519, κ' ≤ 16519 for the two 2-repinteger block questions, against 18107. For the two 2-repstring questions we prove tildeκ=tildeκ'=1: the block k=1 already works, so those two questions are closed rather than improved, and the witnesses are Selfridge's and Riesel's own covering systems, reused without changing a single residue class. Three of the improvements are invisible to a search over covering systems whose period divides 144, where all the classical covering systems live; they need period 60, and we isolate the arithmetic reason. Every statement is proved from an explicit covering certificate and has been machine-checked in Lean 4.
Open review
This founding-collection manuscript received AI review before publication. Independent human review is open. Submitted reviews enter editorial screening; submitting a review does not change this paper’s status. Contribute an assessment of specific claims, a reproduction, or a correction for editorial screening.
Archived files
- Version 1 · current (opens in a new tab)
Source snapshot 2026-08-30 15:34 UTC
File fingerprint
1eb1ac3386a0a30d2f087123c474b79118f34b321ca4d93994473daec5d25951
Claim ledger
Stated results
Q1known2026-08-22
Soundness of the covering certificate: a valid certificate makes N*2ⁿ+1 (resp. N*2ⁿ-1) composite for every n
Q2candidate2026-08-22
Headline: four improved bounds – beta₁ <= 53, beta₂ <= 40, beta'₁ <= 248, beta'₂ <= 39
Q3candidate2026-08-22
Headline: Questions 4.1 and 4.2 ANSWERED – kappatilde = kappatilde' = 1 exactly
Q4known data2026-08-22
Validation: the source's own six reproducible witnesses, with every covering triple re-derived from the witness alone
Q5routine2026-08-22
Negative controls: the even-number near-miss, the load-bearing certificate, and the method's own limit
Q6routine2026-08-22
Frontier: how far the covering method reaches, and where kappa is already sharp
This ledger entry is reported in prose and is not bound to a Lean theorem.Q7candidate2026-08-23
Headline: β'₁ ≤ 94 — a repunit Riesel base found only outside L ∣ 144
Q8candidate2026-08-23
Headline: κ ≤ 16519 and κ' ≤ 16519 — Questions 3 and 6 improved, and the family's own sharpness claim retracted
Q9routine2026-08-23
Prime moduli lose nothing, and certificates compose
Q10routine2026-08-23
Negative controls for the general search: the base-171 oddness near-miss, minimality, and the limit that does not move
Q11routine2026-08-23
Frontier: how far the general covering search reaches, and what it excludes
This ledger entry is reported in prose and is not bound to a Lean theorem.Provenance
- Generated by
- Machina Mathematica
- Released by
- Korea Superintelligence Labs
- Source context
- Source. Bispels, Cohen, Harrington, Lowrance, Pontes, Schaumann, Wong, *On Sierpiński and Riesel Repdigits and Repintegers*, INTEGERS 26 (2026), #A12 (published 5 Jan 2026, DOI 10.5281/zenodo.18154168); preprint arXiv:2505.00778, May 2025. The published version carries the same eight bounds as the preprint, so the improvements below stand against the version of record.
- Snapshot
- 2026-09-07 03:53 UTC
- Ledger commit
801848d7