Dynamical systems and ergodic theory·OpenAI Math·Result 148·Lean formalisation listed
The entropy-rate dimension formula for self-similar measures
One of the 372 results in OpenAI's public mathematics catalogue, filed under dynamical systems and ergodic theory: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
The entropy-rate dimension formula for self-similar measures on the line
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
For every self-similar measure on the line generated by finitely many contracting similarities, proves dimHμ=min {1,hRW/χ}, where hRW is the entropy rate of random composed maps and χ the average logarithmic contraction. This resolves the entropy-rate dimension conjecture without a separation assumption, allowing exact overlaps and unequal contraction ratios. (Lean)
Paper
The entropy-rate dimension formula for self-similar measures on the line
We prove that the Hausdorff dimension of every finite real self-similar measure equals the minimum of one and its random-walk entropy rate divided by its Lyapunov exponent. Exact overlaps are allowed, and the contraction ratios may be unequal and negative. This resolves the entropy-rate dimension conjecture.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Dynamical systems and ergodic theory
- 149Classwise permanence for weakly reversible mass-action systemsLean
- 150Weak mixing of triangular billiards with an irrational angleVideoLean
- 151A C1 counterexample to the entropy conjectureLean
- 152Zero entropy does not guarantee a smooth positive-volume modelLean
- 153Arithmetic classification and non-Pisot singularity for Bernoulli convolutions
- 154Pointwise multiple ergodic averages for mixing transformations