{"id":"arxiv/2605.18555","url":"https://arxiv.org/abs/2605.18555","tags":["math.NT"],"score":0,"title":"Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers","domain":"math.NT","source":"arxiv","authors":["Alexey Dolotov"],"reviews":0,"subject":"math.NT","summary":"The Wagstaff numbers $W_p = (2^p + 1)/3$ for odd primes $p$ are the natural $+1$ companions of the Mersenne numbers. Known primality proofs for $W_p$ with $p \\geq 2617$ rely on the elliptic-curve primality proving algorithm of Atkin-Morain; Chebyshev/Lucas-type tests, while available as compositeness criteria, remain conjectural on the sufficiency side. We present fully verified primality proofs of $W_{2617}$ (788 digits), $W_{10501}$ (3161 digits), and $W_{12391}$ (3730 digits), independent of ECPP and relying only on classical $N-1$ machinery. The proofs apply the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-18","reactions":{}}