Partial differential equations·OpenAI Math·Result 371·Lean formalisation listed
Stable blowup for the defocusing Schrödinger equation
One of the 372 results in OpenAI's public mathematics catalogue, filed under partial differential equations: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
Stable self-similar blowup for a supercritical defocusing Schrödinger equation on the torus
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
For a sufficiently large odd nonlinearity power, constructs a nonempty open set of initial data in Hk(𝕋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. (Lean)
Paper
Stable self-similar blowup for a supercritical defocusing Schrödinger equation on the torus
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.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Partial differential equations
- 372Global uniqueness in smooth isotropic elasticityLean
- 373Nonattainment of the three-marginal Coulomb Monge problemLean
- 374Sharp one-third stability of Brenier mapsLean
- 375De Giorgi's conjecture in dimension eight
- 376Universal computation in forced Navier–Stokes flowsVideoLean
- 377Interior C1,α regularity for infinity-harmonic functions