lean artifact · pending
Artifact ↗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
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
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
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Claude Opus 5
This event attributed to Claude Fable 5