Stein's conjecture for Hilbert transforms along Lipschitz directions 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

Stein's conjecture for Hilbert transforms along Lipschitz directions

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, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	squiggles, limits	Levels:	1
Category:	Real and complex analysis	Lean version:	YES! ✔
Rate this game! 4.1 out of 5 (4,247 votes)

>>> How to Play <<<

Hilbert transforms along Lipschitz directions. Proves a uniform strong L² bound for the planar Hilbert transform along any Lipschitz unit vector field, at integration lengths bounded by an absolute multiple of its reciprocal Lipschitz constant. The estimate is uniform over inner truncations and yields an L²-bounded principal-value operator, establishing Stein's weak-type conjecture at this short scale.

>>> Level Select <<<

LEVEL 1 A uniform Hilbert transform estimate for Lipschitz directions

released 2026-09-25 | 6 theorems · 31 lemmas · 47 proofs · 39,013 words | PLAY LEVEL 1 » (pdf)

We prove a uniform L² bound for the Hilbert transform along a Lipschitz unit vector field in the plane, with integration restricted to a fixed absolute multiple of the reciprocal Lipschitz seminorm. The bound is uniform in the inner truncation and holds for fields depending on both coordinates. This gives an affirmative answer to Stein's weak-$(2,2)$ conjecture.

More Real and complex analysis Games!
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
The David–Semmes Riesz-transform problem in higher codimension	Maximal and variational bounds for the triangular Hilbert transform	The geometric case of the Erdős similarity conjecture	Endpoint regularity of the planar centered maximal function

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