{"id":"arxiv/2607.10654","url":"https://arxiv.org/abs/2607.10654","tags":["math.NT"],"score":0,"title":"The Prime Digit Distribution Conjecture: A Formal Proof of Average Digit Equidistribution in the Prime Numbers","domain":"math.NT","source":"arxiv","authors":["Mahadee Al Mobin","Md. Shariful Islam"],"reviews":0,"subject":"math.NT","summary":"Let $S_n=\\{p\\in\\mathbb{P}:p<10^n\\}$, $N_n$ denote the total number of decimal digits occurring in the primes of $S_n$, $C_n(d)$ be the number of occurrences of a digit $d\\in\\{0,\\ldots,9\\}$ among those digits, and $P_n(d)$ be the probability of occurrence of a digit, $d$ among those digits. We prove that \\[ P_n(d)=\\frac{C_n(d)}{N_n} =\\frac{1}{10} +O\\!\\left(\\frac{\\log n}{n}\\right), \\qquad n\\to\\infty, \\] uniformly for every decimal digit $d$. The argument is entirely unconditional and combines the Prime Number Theorem, the Erdős--Turán discrepancy inequality, and classical Vaughan--Vinogradov…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-12","reactions":{}}