Dynamical systems and ergodic theory·OpenAI Math·Result 152·Lean formalisation listed
Zero entropy does not guarantee a smooth positive-volume model
One of the 372 results in OpenAI's public mathematics catalogue, filed under dynamical systems and ergodic theory: 1 preprint, the latest dated 25 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
In one line: OpenAI reports a result titled ‘Zero entropy does not guarantee a smooth positive-volume model’ (dynamical systems and ergodic theory) in a preprint dated 25 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More, is on YouTube.
Chapter 14 of 84 in Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · starts at 4:30 · watch from there on YouTube →
What OpenAI claims
Constructs a zero-entropy ergodic invertible transformation of a standard nonatomic probability space that is not measurably conjugate to any C∞ diffeomorphism preserving a strictly positive smooth probability density on a compact finite-dimensional manifold. One example rules out every finite dimension. (Lean)
Paper
A zero-entropy system without a smooth positive-volume model
OpenAI's abstract We construct an ergodic invertible transformation of a standard nonatomic probability space with zero Kolmogorov–Sinai entropy that has no smooth positive-volume model. More precisely, it is not measurably conjugate to any C∞ diffeomorphism preserving a strictly positive smooth probability density on a compact finite-dimensional manifold. A single example excludes every finite dimension, including models on nonorientable manifolds and manifolds with smooth boundary.
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.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted a preprint on 25 September 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- Constructs a zero-entropy ergodic invertible transformation of a standard nonatomic probability space that is not measurably conjugate to any C∞ diffeomorphism preserving a strictly positive smooth probability density on a compact finite-dimensional manifold. One example rules out every finite dimension. (Lean)
- Where is the proof?
- In the paper, A zero-entropy system without a smooth positive-volume model (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 14).
Also in
- Chapter 7 of 9 in Birkhoff Conjecture, Zero Entropy and 7 More in Dynamical Systems and Ergodic Theory · starts at 2:06 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · Compilation · 29:10 · chapter 14 from 4:30 · description, sources and chapters →
Related results in Dynamical systems and ergodic theory
- 153Arithmetic classification and non-Pisot singularity for Bernoulli convolutionsVideo
- 154Pointwise multiple ergodic averages for mixing transformationsVideo
- 143Hilbert's sixteenth problem: uniform bounds for limit cyclesVideoLean
- 144Banach’s simple Lebesgue-spectrum problemVideoLean
- 145Rokhlin’s multiple-mixing problemVideoLean
- 146Positive metric entropy for the standard mapLean