lean artifact · passed
Artifact ↗Feige's Conjecture
Let $X_1,\ldots,X_n$ be independent nonnegative random variables with $\mathbb{E}X_i \le 1$, and let $S$ be their sum. Is $\mathbb{P}(S < \mathbb{E}S + 1) \ge 1/e$? Feige proved the constant $1/13$ and conjectured the sharp $1/e$. Three independent July 2026 proofs settle it, both building on the Vlassis-Thomas calibration theorem; the sharper one determines the optimal small-deviation bound for every deviation $\delta \ge 1$.
Exact FrontierDelta
Scope and record
Occurred: Jul 27, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Feige's Conjecture
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol
model · ai model contributor · OpenAI
ChatGPT 5.6 Pro
model · ai model contributor · OpenAI
Codex
model · ai model contributor · OpenAI
Jun Yan
human · human collaborator
Weibo Fu
human · human collaborator
Yanjun Han
human · human collaborator
Guanyang Wang
human · human collaborator
Peng Zhang
human · human collaborator
Zhengqing Zhou
human · human collaborator
Zipei Nie
human · human collaborator
Jiaye Wei
human · human collaborator
Mark Stander
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Mark Stander
This event attributed to Zhengqing Zhou
This event attributed to Zipei Nie
This event attributed to Jiaye Wei
This event attributed to Jun Yan
This event attributed to Weibo Fu
This event attributed to Yanjun Han
This event attributed to Guanyang Wang
This event attributed to Peng Zhang
This event attributed to ChatGPT 5.6 Pro
This event attributed to Codex
This event attributed to GPT-5.6 Sol