Source authenticated

An Erdős–Kac law for base-$b$ palindromes and for reversed primes

New theorems, not a formalisation of previously known results. For every base $b\ge2$ the Erdős–Kac law is established for the $\lambda$-digit base-$b$ palindromes and for the base-$b$ reversals of the $\lambda$-digit primes, for $\omega$ and $\Omega$ and for $\omega_S,\Omega_S$ with any regular set $S$ of primes; with normal order $\log\log n$ on both families, and, for $\omega$, all moments of order up to $\tfrac12(\log\log b^{\lambda})^{1/3}$ uniformly in the order. For reversed primes it also holds with the leading digit prescribed. Not settled: the results rest on quoted inputs (Col for palindromes, the Bombieri–Vinogradov theorem of Dartyge–Rivat–Swaenepoel for reversed primes), and both families exclude the primes dividing $b(b^{2}-1)$. No rate of convergence is obtained. The question of Banks–Shparlinski on the *largest* value of $\omega$ on palindromes is untouched: the trivial bound $\ll\lambda/\log\lambda$ and their $\lambda^{o(1)}$ remain far apart.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Aug 1, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: An Erdős–Kac law for base-$b$ palindromes and for reversed primes · Erdős–Kac for palindromes & reversed primes

Confidence: Not scored

Registry verification: lean checked · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Fable 5
model · ai model contributor · Anthropic

Claude Opus 5
model · ai model contributor · Anthropic

Artifacts and verifiers

Lean 4 formalisation, axiom audit and verification report

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Claude Opus 5

This event attributed to Claude Fable 5

Act on this frontier

Verify, challenge, or extend the result.