Partial differential equations·OpenAI Math·Result 362·Lean formalisation listed
Global smoothness for relativistic Vlasov–Maxwell
One of the 372 results in OpenAI's public mathematics catalogue, filed under partial differential equations: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
What OpenAI claims
Proves large-data global existence and uniqueness for the three-dimensional, one-species relativistic Vlasov–Maxwell system. Smooth admissible initial data may be arbitrary provided the particle density is compactly supported and the electromagnetic fields have finite energy and bounded derivatives of every order; the solution remains smooth on every finite time interval. (Lean)
Paper
Global classical solutions of the three-dimensional relativistic Vlasov–Maxwell system
We prove global existence and uniqueness for arbitrary smooth admissible initial data in the three-dimensional, one-species relativistic Vlasov–Maxwell system. The particle density is initially compactly supported, and the electromagnetic fields have finite energy and bounded derivatives of all orders. The solution remains smooth on every finite time interval. This resolves the large-data global classical regularity problem for this model, without size or symmetry restrictions on the data.
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.
The video
Relativistic Vlasov-Maxwell: Global Solutions · Short · 0:12 · description, sources and transcript →
Related results in Partial differential equations
- 363Nonuniqueness with local conservation for the hard-sphere Boltzmann equationLean
- 364Kinetic limits and fluctuations over the Boltzmann lifespan
- 365Joint metric and connection recovery from one boundary patchLean
- 366The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds
- 367The critical dimension for the one-phase Bernoulli problemLean
- 368The three-dimensional Ball–Evans approximation problem