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.

Compilation · 29:10 · 14 October 2026 · from 4:30Watch on YouTube →

Subscribe 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

  1. A zero-entropy system without a smooth positive-volume model

    · Preprint, not peer reviewed · PDF

    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

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

All 12 results in Dynamical systems and ergodic theory →