OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Resolves the probability-preserving form of Banach's simple Lebesgue-spectrum problem within smooth dynamics. A smooth volume-preserving diffeomorphism of the standard-volume three-torus has simple Lebesgue spectrum on its entire complex mean-zero L^(2) space: the bilateral iterates of one real observable form an orthonormal basis of that space.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
A smooth three-torus diffeomorphism with simple Lebesgue spectrum
We solve the probability-preserving form of Banach's simple Lebesgue-spectrum problem in smooth dynamics. We construct a C^(∞) diffeomorphism of the three-torus that preserves standard volume and whose Koopman operator has simple Lebesgue spectrum on the entire mean-zero L^(2) space.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.