OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Proves that the ordinary symmetric Fourier partial sums of every complex-valued function in Llog L(\mathbb T) converge almost everywhere along the full sequence. This resolves the classical sufficiency conjecture at the Llog L scale.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove that the ordinary symmetric Fourier partial sums of every complex-valued function in Llog L on the circle converge almost everywhere to the function along the full sequence. This establishes the classical Llog L sufficiency conjecture.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
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.
Explore the AGI Clock ↗