ArXiv paper claims a short proof of Feige’s conjecture with GPT-5.6 Sol
RexDouglass · x · 2026-07-28
A new arXiv paper claims a short proof of Feige’s conjecture in probability, with assistance from GPT-5.6 Sol.
The conjecture states that for independent nonnegative random variables with expectation 1, the probability their sum is at most the mean plus 1 is at least (n/(n+1))^n ≥ 1/e.
The paper says the proof builds on a recent breakthrough by Vlassis and Thomas on the finite-sample validity of a distribution-free p-value, and it also discusses implications of follow-up work by Ming, Ramdas, Shen, Wang, and Waudby-Smith.
The post also notes that other teams found the same proof and published on the same day, suggesting the result was converging independently.
Related event: GPT-5.6 Aids in Proving Feige's Conjecture(3 posts)→
More from Models
- Together AI and Moonshot AI set July 30 webinar on Kimi K3 architecture — togethercompute · 2026-07-29
- Three frontier models missed a simple link-extraction task and rewrote it as a web app — NickPassig · 2026-07-29
- Fable is being praised for trying parallel and multi-stream solutions first — dejavucoder · 2026-07-29
- Kimi K3’s intro feels unusually information-dense in very few tokens — nathanbenaich · 2026-07-29
- MoonshotAI’s FlashKDA commit hints at a hybrid attention mainline model — peterjliu · 2026-07-29
- User says Opus 5 ignores tools, breaks workflows, and feels overly ignorant — omarsar0 · 2026-07-29