Stable blowup for a defocusing Schrödinger equation 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

Stable blowup for a defocusing Schrödinger equation

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:	fluids, heat, waves	Levels:	1
Category:	Partial differential equations	Lean version:	YES! ✔
Rate this game! 4.6 out of 5 (8,567 votes)

>>> How to Play <<<

Stable blowup for the defocusing Schrödinger equation. For a sufficiently large odd nonlinearity power, constructs a nonempty open set of initial data in $H^k(\mathbb T^{12})$, with k > 8, whose solutions of the scalar defocusing nonlinear Schrödinger equation blow up in finite time. Thus finite-time blowup is stable under Sobolev perturbations in this supercritical regime.

>>> Level Select <<<

LEVEL 1 Stable self-similar blowup for a supercritical defocusing Schrödinger equation on the torus

released 2026-09-24 | 3 theorems · 30 lemmas · 38 proofs · 23,049 words | PLAY LEVEL 1 » (pdf)

We prove stable self-similar finite-time blowup for a supercritical defocusing nonlinear Schrödinger equation on the twelve-dimensional torus. For a sufficiently large odd power, the blowup initial data contain a nonempty open set in a high Sobolev space. As a consequence, Gaussian Fourier initial data of arbitrarily high Sobolev regularity can have positive probability of finite-time blowup.

More Partial differential equations Games!
Joint metric and connection recovery from one boundary patch	The planar Mumford–Shah regularity conjecture	The critical dimension for the one-phase Bernoulli problem	The three-dimensional Ball–Evans approximation problem
The hot spots conjecture for simply connected planar domains PLAYABLE!	The subcritical Lane–Emden and Hénon–Lane–Emden conjectures	Global uniqueness in smooth isotropic elasticity	Nonattainment in three-marginal Coulomb transport

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