An L^3 bound for the trilinear Hilbert transform at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

An $L^3$ bound for the trilinear Hilbert transform

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	squiggles, limits	Levels:	1
Category:	Real and complex analysis	Lean version:	not yet
Rate this game! 4.6 out of 5 (6,089 votes)

>>> How to Play <<<

An L³ bound for the trilinear Hilbert transform. Proves that the principal-value trilinear Hilbert transform with shifts $x-t$, $x-2t$, $x-3t$ is bounded from $L^3(\mathbb R)^3$ to $L^1(\mathbb R)$. This resolves the L³ exponent case of the standard conjecture for slopes 1, 2, 3.

>>> Level Select <<<

LEVEL 1 An L³ bound for the trilinear Hilbert transform

released 2026-10-05 | 3 theorems · 45 lemmas · 54 proofs · 48,756 words | PLAY LEVEL 1 » (pdf)

We prove that the trilinear Hilbert transform with fixed slopes 1, 2, 3 maps $L^3(\mathbb R)\times L^3(\mathbb R)\times L^3(\mathbb R)$ to $L^1(\mathbb R)$, resolving this case of the trilinear Hilbert transform conjecture.

More Real and complex analysis Games!
The Falconer distance conjecture HOT!	Kakeya in three and four dimensions HOT!	The $L\log L$ Fourier-convergence conjecture	Ultraflat real Littlewood polynomials
Fourier restriction for positively curved surfaces	The three-dimensional Bochner–Riesz conjecture	Sogge's local smoothing conjecture in dimension three	The Sobolev endpoint in Carleson's Schrödinger convergence problem

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600