Sogge's local smoothing conjecture in dimension three 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

Sogge's local smoothing conjecture in dimension three

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.7 out of 5 (6,668 votes)

>>> How to Play <<<

Local smoothing in three dimensions. Resolves Sogge's local smoothing conjecture for the Euclidean wave equation in three spatial dimensions. The estimate holds throughout the full strict range $2\lt p\lt \infty$, with Sobolev regularity above $\max\{0,1-3/p\}$. In particular, the critical L³ estimate holds with every positive Sobolev loss.

>>> Level Select <<<

LEVEL 1 Critical local smoothing for the three-dimensional wave equation

released 2026-09-24 | 6 theorems · 68 lemmas · 113 proofs · 80,244 words | PLAY LEVEL 1 » (pdf)

We prove the critical L³ local smoothing estimate for the wave equation in three spatial dimensions, with every positive Sobolev loss. This resolves Sogge's Euclidean local smoothing conjecture in dimension three.

More Real and complex analysis Games!
Koebe's circle-domain conjecture and circle-domain rigidity	Brennan's conjecture and a counterexample to Kraetzer's prediction	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

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