Gaussian Completely Monotone Conjecture
Along the heat flow, do the successive time derivatives of the entropy of alternate in sign, as conjectured by Cheng and Geng? An explicit measure on has a fifth derivative with the forbidden sign.
- Result
- Disproved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Entropy & heat flow
- Posed by
- Fan Cheng & Yanlin Geng
- Year posed
- 2015
- Years open
- 11y
- Solved
- 2026-05-12
- Model
- GPT-5.5 Pro
- Vendor
- OpenAI
- Collaborators
- Yuzhou Gu, Mark Sellke
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
also refutes the McKean and Toscani conjectures
What the AI did
The explicit counterexample measure was found by GPT-5.5 Pro.
Verification
Author-checked arXiv preprint by Gu and Sellke. Not yet peer-reviewed.
Source
arXiv:2605.11656 - A counterexample to the Gaussian completely monotone conjecture