What was already known
Franz and Parisi predicted the critical gap and force exponents. Earlier scaling arguments did not derive the selected microscopic ordered-equilibrium limit at margin −1.
AI involvement
OpenAI identifies the manuscript as internal-model research output; the independence of this individual run is undocumented.
The model-produced manuscript gives the central limiting-law argument and exponent enclosure; session-level autonomy is undocumented.
Importance
Claims a microscopic limiting law and narrow rigorous exponent bounds for this jamming model.
Limitations
A reported exact finite certificate checks numerical enclosures and analytic input inequalities, not the full microscopic-limit and mixture-universality argument. The separate certificate file and saved run were not available in the reviewed release.
Technical verification
The manuscript reports a completed integer-residual and interval-arithmetic certificate run for the numerical exponent enclosure and analytic input inequalities. That finite machine check does not by itself check the long microscopic-limit and mixture-universality argument, for which no completed human or formal review is documented.
Independent checking
Finite inequalities and root enclosure used to bound the selected gap and force exponents. Integer polynomial residual checks and interval arithmetic; the manuscript reports a complete assertions-enabled run on October 4, 2026
- Checker
- The manuscript's Python/NumPy certificate driver, as reported by OpenAI
- Scope
- Finite inequalities and root enclosure used to bound the selected gap and force exponents
- Basis
- Reported by the linked checker
Human understanding
No named human explains the microscopic-to-critical selection mechanism or the certificate's role in the full proof. Few is the evidence default.
Correction and publication history
Claims a model-specific derivation and enclosure of jamming exponents.
Read this published revision