What was already known
Human work established short-time nonequilibrium fluctuations and long-time equilibrium Gaussian fluctuations. Deng, Hani and Ma established a kinetic law over the regular Boltzmann lifespan, not this nonequilibrium central-limit result.
AI involvement
The manuscript is credited to OpenAI’s internal model. It builds on human collision-history and cluster methods; no named human review of the new cumulant and centering estimates is documented.
OpenAI authorship and repository provenance assign the new mathematical development to an internal model.
- Supporting source (github.com) — Abstract and author line
Importance
Claims finite-dimensional nonequilibrium fluctuation convergence across the regular kinetic lifespan.
Limitations
The interval is conditional on a regular Gaussian-bounded Boltzmann solution. The theorem does not establish global regularity or path-space convergence; no matching formal or completed human check is documented.
Technical verification
The TeX provides a proof with stated imported hypotheses, but no claim-matching Lean formalization or completed human proof check was found. Reported is the evidence default.
Human understanding
No named human explanation of the central new cumulant and exact-centering transfer is documented; Few is the evidence default.
Correction and publication history
Claims finite-dimensional nonequilibrium fluctuation convergence across the regular kinetic lifespan.
Read this published revision