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

24 September 2026 · PDF

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

  1. The entropy-rate dimension formula for self-similar measures on the line

    · Preprint, not peer reviewed · PDF

    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

All 12 results in Dynamical systems and ergodic theory →