TY - RPRT TI - The Prime Digit Distribution Conjecture: A Formal Proof of Average Digit Equidistribution in the Prime Numbers AU - Mahadee Al Mobin AU - Md. Shariful Islam PY - 2026 UR - https://arxiv.org/abs/2607.10654 ID - 2607.10654 ER -