A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Strong cosmic censorship near two-ended Kerr data
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:physics, atoms Levels:3
Category:Mathematical physics Lean version:not yet
Rate this game! 4.3 out of 5 (3,554 votes)

>>> How to Play <<<
Strong cosmic censorship near two-ended Kerr data. Proves local strong cosmic censorship near each fixed rotating subextremal Kerr bridge. A dense Gδ subset of a weighted smooth neighborhood of smooth complete two-ended asymptotically flat vacuum data has full maximal globally hyperbolic developments with no future continuous nondegenerate extension whose weak connection is locally square-integrable. No symmetry is imposed; extensions need not satisfy the vacuum equations.

>>> Level Select <<<
released 2026-09-23  |  3 theorems · 8 lemmas · 20 proofs · 27,717 words  |  PLAY LEVEL 1 »  (pdf)
For each fixed rotating subextremal Kerr background with mass M > 0 and rotation $0\lt |\mathfrak a|\lt M$, we prove that the smooth vacuum data near its complete two-ended bridge whose full maximal globally hyperbolic development admits a future $C^0\cap W^{1,2}_{\mathrm{loc}}$ extension form a meagre set in the weighted smooth topology. The extension metric is continuous and nondegenerate, and its weak connection is locally square-integrable. The neighborhood requires smallness of only the tenth weighted seminorm, while the topology tests every finite order.
released 2026-09-23  |  1 theorem · 18 lemmas · 32 proofs · 32,789 words  |  PLAY LEVEL 2 »  (pdf)
For each fixed Kerr spacetime with mass M > 0 and rotation $0\lt \mathfrak a\lt M$, we prove that a dense Gδ set of nearby smooth, complete two-ended vacuum data has a maximal globally hyperbolic development with no future C1 extension. The neighborhood and genericity are defined in a weighted smooth topology, and ambient extensions may be nonvacuum.
released 2026-09-23  |  1 theorem · 38 lemmas · 76 proofs · 72,439 words  |  PLAY LEVEL 3 »  (pdf)
For every fixed rotating subextremal Kerr bridge, we prove that smooth vacuum data admitting a C2 future extension of their full maximal globally hyperbolic development form a meagre set in a neighborhood defined by one finite-order seminorm. The topology allows arbitrary symbol-bounded asymptotically flat tails and imposes no symmetry.

More Mathematical physics Games!
The two-dimensional gapped area lawExactly three mutually unbiased bases in dimension six HOT!Positive-temperature Bose–Einstein condensation and quantum depletionThe spin-one Haldane gap
The Laughlin gap and stability under scalar disorderThreshold and positive-energy bound states of the BFSS modelBloch's law and spontaneous ferromagnetic orderEntanglement without secret key and the PPT-square conjecture

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