AI-reported binary normality of a localized-logarithm value

The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

The constant ξ=Σ_{a,c≥0}1/(2^a3^c·2^{2^a3^c}) is normal in base two: every finite binary word has its expected limiting frequency when overlapping occurrences are counted.

Why it matters

If correct, establishes normality for a distinct mixed-prime localized-logarithm value.

What counts as progress

Is this mixed-prime localized-logarithm value normal in base two?

Website timeline

Publication dates and editorial changes.