Source authenticated

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

Prior state unknownproved

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

Open the source record ↗

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

Lean formalization of the e^-1 conjecture

lean artifact · passed

Artifact ↗

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

Act on this frontier

Verify, challenge, or extend the result.