GPT-5.6 刚又搞定一个数学难题，这次是概率论里老牌的 Feige 猜想，你可以看看 AI 证明数学定理有多猛。
OpenAI 联合创始人 Greg Brockman 公布 GPT-5.6 成功解决了概率论中长期未解决的 Feige 1/e 猜想。该猜想涉及独立非负随机变量 X_i（期望 ≤1）的部分和 S_n，断言 P(S_n ≤ E[S_n] + 1) ≥ 1/e。Brockman 的友人 Zhengqing 使用 GPT-5.6 完成了这一证明，该问题曾是他们午餐时反复讨论的难题。
5.6 for solving another longstanding open problem, this time in probability:
5.6 for solving another longstanding open problem, this time in probability: Guanyang Wang @GuanyangW 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 🔗 View Quoted Tweet 💬 16 🔄 3 ❤️ 144 👀 13302 📊 19 ⚡