Primitive-root primes

The quantity is the power aa in the lower bound cbx/(log⁡x)ac_bx/(\log x)^a for primitive-root primes in (x,2x)(x,2x), for the same admissible integer base bb. A lower power is better.

OpenAI baseline: 22, released .

These results are Claimed: their authors published them, and we have not checked them.

BoundEvidence levelAuthorDateProof scope
11ClaimedRogerhu12
Proof scope

No Lean proof is supplied.

Relevant repos