VibeMathedMath problems solved by AI
All problems

Gaussian Completely Monotone Conjecture

Along the heat flow, do the successive time derivatives of the entropy of X+tZX + \sqrt{t}\,Z alternate in sign, as conjectured by Cheng and Geng? An explicit measure on R\mathbb{R} 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

Discussion