lean artifact · pending
Artifact ↗Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform
Principal manuscript: for complex , , where , with joint principal values a.e. and in ; pairing with a third function gives the scalar bound of Problem 13. Companions (October 5): -variation bounds for every , and for Thiele's dyadic model with no structural assumption. Only the symmetric exponent point is treated; other triples with and the four-linear simplex form are not.
Exact FrontierDelta
Scope and record
Occurred: Sep 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform · Triangular Hilbert transform (Thiele)
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Companion: An L3 bound for the dyadic triangular Hilbert form evidence for this event
This event attributed to Unreleased internal OpenAI model
VibeMathed record: Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform evidence for this event
Thiele, Problem 13 in Some problems in harmonic analysis (arXiv:1701.06637) evidence for this event
Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform parent of this event
Principal manuscript: for complex , , where , with joint principal values a.e. and in ; pairing with a third function gives the scalar bound of Problem 13. Companions (October 5): -variation bounds for every , and for Thiele's dyadic model with no structural assumption. Only the symmetric exponent point is treated; other triples with and the four-linear simplex form are not. parent of this event
Lean: OAI/Analysis/TriangularHilbert/Main.lean (main_estimate) evidence for this event
Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform evidence for this event
Companion: Annular variation of the triangular Hilbert transform at the symmetric point evidence for this event
Act on this frontier