Dynamical systems and ergodic theory·OpenAI Math·Result 154
Pointwise multiple ergodic averages for mixing transformations
One of the 372 results in OpenAI's public mathematics catalogue, filed under dynamical systems and ergodic theory: 4 preprints, the latest dated 4 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
In one line: OpenAI reports a result titled ‘Pointwise multiple ergodic averages for mixing transformations’ (dynamical systems and ergodic theory) in 4 preprints, the latest dated 4 October 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More, is on YouTube.
Chapter 19 of 84 in Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · starts at 6:16 · watch from there on YouTube →
What OpenAI claims
Proves almost-everywhere convergence of consecutive multiple ergodic averages of every finite length for invertible mixing probability-preserving transformations. For each fixed tuple of bounded functions, the limit is the product of their integrals, along all positive averaging lengths. No mixing rate or standardness assumption on the probability space is required.
Papers (4)
Pointwise Multiple Ergodic Averages for Mixing Transformations
OpenAI's abstract Let T be an invertible mixing probability-preserving transformation. For every integer n ≥ 2 and every fixed tuple of bounded measurable functions, we prove that the consecutive multiple ergodic averages of length n converge almost everywhere to the product of the integrals, as the averaging length tends to infinity through all positive integers. The probability space need not be standard, and no rate of mixing is required.
Pointwise convergence of fourfold ergodic averages for mixing transformations
OpenAI's abstract We prove that fourfold ergodic averages along the times n,2n,3n,4n converge almost everywhere to the product of the integrals for every invertible, bimeasurable, mixing probability-preserving transformation and every fixed choice of bounded measurable inputs. Convergence holds along all positive integer averaging lengths. No quantitative mixing rate is assumed, and the probability space need not be standard.
Triple ergodic averages with distinct integer slopes
OpenAI's abstract For every invertible mixing probability-preserving transformation, triple ergodic averages of bounded measurable functions along any three pairwise distinct nonzero integer slopes converge almost everywhere to the product of their integrals. The slopes may be positive or negative.
Pointwise convergence of triple ergodic averages for mixing transformations
OpenAI's abstract We prove pointwise convergence of triple ergodic averages for every invertible mixing probability preserving transformation T of an arbitrary probability space (X,ℱ,μ), with measurable inverse. For every triple of bounded measurable functions f1,f2,f3:X → ℂ,
Status
Preprint. The papers have 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 4 preprints, the latest dated 4 October 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?
- Proves almost-everywhere convergence of consecutive multiple ergodic averages of every finite length for invertible mixing probability-preserving transformations. For each fixed tuple of bounded functions, the limit is the product of their integrals, along all positive averaging lengths. No mixing rate or standardness assumption on the probability space is required.
- Where is the proof?
- In the paper, Pointwise Multiple Ergodic Averages for Mixing Transformations (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 19).
Also in
- Chapter 9 of 9 in Birkhoff Conjecture, Zero Entropy and 7 More in Dynamical Systems and Ergodic Theory · starts at 2:47 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 4 of 4: L = BPL, Integer Multiplication and 82 More · Compilation · 29:10 · chapter 19 from 6:16 · description, sources and chapters →
Related results in Dynamical systems and ergodic theory
- 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
- 147The near-boundary Birkhoff conjectureVideo
- 148The entropy-rate dimension formula for self-similar measuresVideoLean