Artin's primitive root conjecture
Let be an integer that is not a square number and not . A prime is -rooted if generates the multiplicative group , equivalently if
Artin's primitive root conjecture. The set of -rooted primes is infinite.
This is a famous conjecture concerning primitive roots modulo primes. It remains open in general, although important conditional and partial results are known.
References
Primary source
Gabriele Fici, Estéban Gabory, Giuseppe Romana and Marinella Sciortino, “Unclustered BWTs of any Length over Non-Binary Alphabets”, arXiv:2508.20879 (2025).
Additional references
15 papers in this index state this conjecture (2012–2025). The statement above is taken from the most recent of them; the others are arXiv:2507.13548, arXiv:2502.12844, arXiv:2410.09694, arXiv:2402.03280, arXiv:2312.11258, arXiv:2107.12121, arXiv:2107.12123, arXiv:2006.15683, arXiv:1906.07446, arXiv:1809.09811, arXiv:1408.0602, arXiv:1404.4007, and 2 more.
Progress summary
The conjecture remains open, although an undated preprint claims a complete proof that has not been independently verified.
Artin conjectured in 1927 that every admissible integer is a primitive root modulo infinitely many primes.
Known results
- Hooley, 1967: proved the conjecture conditionally under the relevant Generalized Riemann Hypothesis.
- Gupta–Murty, 1984: proved it for infinitely many integers, without an explicit infinite list.
- Heath-Brown, 1986: showed that at most two prime values and at most three squarefree values can be exceptions; in particular, one of , , or works.
- No particular admissible integer is known unconditionally to work.
2026 claimed proof and new bounds
An undated version- preprint claims an unconditional positive-density asymptotic for every admissible integer, which would settle the conjecture, but supplies no independent verification or referee assessment. On August 25, 2026, a new paper by M. Ram Murty and Sunil Naik was announced on a non-abelian large sieve and Artin’s conjecture; the retrieved record gives no theorem details. A 2026 journal article by Chi Wa Chan reports uniform density bounds in quadratic number fields, but its precise advance cannot be assessed from the available record.
Current status (as of August 2026): Artin’s conjecture remains open unconditionally; Hooley’s conditional theorem and the classical partial results stand, while the claimed complete proof is unverified.
Sources
- scholar.rose-hulman.edu
- mathoverflow.net
- arxiv.org
- doi.org
- hrj.episciences.org
- math.dartmouth.edu
- www2.math.upenn.edu
- pphmjopenaccess.com
- ejpam.com
- arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- scientificamerican.com
- quantamagazine.org
- scientificamerican.com
- quantamagazine.org
- scientificamerican.com
- x.com
- x.com
- x.com
- arxiv.org
- arxiv.org
- x.com
- x.com
- arxiv.org
- arxiv.org
- x.com
Solutions 2
RemarkAI-assistedClaimed by OpenAI. For every integer base a that is neither a square nor -1, the manuscript claims infinitely many primes for which a is a primitive root, with a lower bound of order x/(log x)^2 in sufficiently large dyadic intervals. It does not claim the conjectured density formula.See full solution
Claimed by OpenAI. For every integer base a that is neither a square nor -1, the manuscript claims infinitely many primes for which a is a primitive root, with a lower bound of order x/(log x)^2 in sufficiently large dyadic intervals. It does not claim the conjectured density formula.
GitHub repository: https://github.com/openai/math
- OpenAI-029-01-Primitive-roots-for-every-admissible-integer-base.pdfOpen
RemarkAI-assistedClaimed by OpenAI. Assuming Inputs 3.1, 4.1, 5.1 and 5.2 from the companion work, the manuscript claims simultaneous primitive roots for any fixed finite set of distinct positive prime bases, with at least c x/(log x)^2 such primes in every sufficiently large dyadic interval. This is conditional progress for prime bases.See full solution
Claimed by OpenAI. Assuming Inputs 3.1, 4.1, 5.1 and 5.2 from the companion work, the manuscript claims simultaneous primitive roots for any fixed finite set of distinct positive prime bases, with at least c x/(log x)^2 such primes in every sufficiently large dyadic interval. This is conditional progress for prime bases.
GitHub repository: https://github.com/openai/math
- OpenAI-029-02-Simultaneous-primitive-roots-a-conditional-lower-bound-for-prime-bases.pdfOpen