McKean Entropy-Production Conjecture
In 1966, McKean asked whether the entropy production of the Boltzmann equation must be monotone decreasing in time. We show that this is not the case even in the space-homogeneous setting for the Boltzmann collision operator with a constant angular cross section and the kinetic parameter . This recovers the classical case of hard spheres and the simplest case of Maxwell molecules. Our examples are radially symmetric mixtures of Maxwellians.
- Result
- Disproved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Mathematical physics
- Posed by
- Henry P. McKean Jr.
- Year posed
- 1966
- Years open
- 60y
- Solved
- 2026-09-01
- Model
- GPT-5.6 Sol; Claude
- Vendor
- OpenAI; Anthropic
- Collaborators
- Luis Silvestre
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 20 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
For the space-homogeneous Boltzmann equation in dimension with collision kernelsthe paper constructs smooth, positive, radial mixtures for which for sufficiently large . Thus entropy production need not decrease even for Maxwell molecules () or hard spheres (), negatively resolving McKean's monotonicity question for these physically standard kernels.
What the AI did
A first version of the proof was obtained by GPT-5.6 Sol running in Codex Ultra with access to Silvestre's earlier paper and research notes. Claude Code then rewrote the initially difficult-to-read proof, after which Silvestre reinterpreted, restructured, and checked the argument and took responsibility for the final proof. The substantive counterexample proof therefore originated from GPT-5.6 Sol under access to author-supplied mathematical context.
Verification
The arXiv preprint contains a complete analytic proof by a leading researcher in kinetic equations, who states that he reinterpreted, restructured, and assumes full responsibility for the final argument. No independent expert review, peer review, or formal proof-assistant verification is currently documented.
Source
- PaperarXiv
Submitted by VibeGene on