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 Reportedly Assists in Proving Long-Standing Feige's Conjecture(4 posts)→
More from Models
- Rumor: GLM 5.5 and Kimi K3.1 dropping soon, possibly slowed by anti-distillation blocks — zephyr_z9 · 2026-10-16
- Thrive Holdings benchmarks AI on real tax and IT work across 75+ firms — BorisMPower · 2026-10-16
- Google Downgrading Prepaid Annual Gemini AI Plus Plans, Cutting Pro Access Nov 13 — Ray_ProUser · 2026-10-16
- A Little Encouragement Makes a Small Local Model Draw a Stunning Pelican SVG — Fancy-Snow7 · 2026-10-16
- Rapid-MLX 0.16.2 brings NVIDIA Nemotron 3.5 up to 120B to Apple Silicon Macs — kuchaev · 2026-10-16
- "End of Chinese OSS" claim pushed back: open models get license almost automatically — eliebakouch · 2026-10-16