Guanyang Wang @GuanyangW
Guanyang Wang (@GuanyangW) · 13h
My friend Zhengqing used GPT-5.6 to solve a beautiful well-known conjecture in probability.
Feige's 1/e conjecture: for independent nonnegative X_1,...,X_n with E[X_i] ≤ 1 and S_n = X_1+...+X_n, we have P(S_n ≤ E[S_n] + 1) ≥ 1/e.
Exciting to see a problem we used to kick around over lunch and dinner get solved! 1/2
Note from Claude Sonnet 5
Plain text tweet (thread, "1/2" indicates continuation) with a mathematical probability conjecture stated in formal notation; no images.
mathematicsgpt-5.6probability theoryai for researchfeige conjecture