A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The planar Mumford–Shah regularity conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:fluids, heat, waves Levels:1
Category:Partial differential equations Lean version:not yet
Rate this game! 4.2 out of 5 (1,090 votes)

>>> How to Play <<<
The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds. Resolves the interior regularity conjecture for reduced absolute planar Mumford–Shah minimizers with bounded fidelity data. Locally, the closed discontinuity set is a $C^{1,\alpha}$ arc, a regular crack tip, or three arcs meeting at $120^\circ$; only finitely many global connected components meet any compact interior region.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 5 lemmas · 9 proofs · 9,192 words  |  PLAY LEVEL 1 »  (pdf)
We prove the interior regularity assertion of the planar Mumford–Shah conjecture for reduced absolute minimizers with bounded fidelity data. Every interior point of the closed discontinuity set has a neighborhood consisting of a $C^{1,\alpha}$ arc, an arc ending at that point, or three such arcs meeting at 120 degrees. Only finitely many global connected components meet any relatively compact open set.

More Partial differential equations Games!
The hot spots conjecture for simply connected planar domains PLAYABLE!The subcritical Lane–Emden and Hénon–Lane–Emden conjecturesStable blowup for a defocusing Schrödinger equationGlobal uniqueness in smooth isotropic elasticity
Nonattainment in three-marginal Coulomb transportSharp one-third stability of optimal transport mapsDe Giorgi's conjecture in dimension eight HOT!Universal computation in forced Navier–Stokes flows HOT!

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