A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The three-dimensional Bochner–Riesz conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

LOADING...
0%
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.8 out of 5 (1,918 votes)

>>> How to Play <<<
The three-dimensional Bochner–Riesz conjecture. Resolves the three-dimensional Bochner–Riesz conjecture in its strict range: the Bochner–Riesz multipliers of order δ are bounded on $L^p(\mathbb R^3)$ for every $1\le p\le\infty$ whenever $\delta\gt \max\{3|1/p-1/2|-1/2,0\}$.

>>> Level Select <<<
released 2026-09-24  |  8 theorems · 27 lemmas · 44 proofs · 53,838 words  |  PLAY LEVEL 1 »  (pdf)
We prove the three-dimensional Bochner–Riesz conjecture in its strict-order formulation. The main result is boundedness of the Bochner–Riesz multipliers on $L^3(\mathbb R^3)$ for every positive order. Interpolation and duality then give the full conjectured strict range.

More Real and complex analysis Games!
The $L\log L$ Fourier-convergence conjectureUltraflat real Littlewood polynomialsFourier restriction for positively curved surfacesSogge's local smoothing conjecture in dimension three
The Sobolev endpoint in Carleson's Schrödinger convergence problemThe David–Semmes Riesz-transform problem in higher codimensionMaximal and variational bounds for the triangular Hilbert transformStein's conjecture for Hilbert transforms along Lipschitz directions

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