GPT-5.6 辅助证明 Feige 猜想

近日一篇 arXiv 论文声称给出了 Feige 猜想的简短证明，该证明探讨了独立非负随机变量和的小偏差不等式问题。研究者在 δ≥1 的情形下利用 Lean 形式化证明了该猜想，并指出证明过程得到了 GPT-5.6 Sol 的辅助。此外，有传闻称 GPT-5.6 成功解决了该猜想中著名的 1/e 情形，引发学术界对 AI 辅助攻克数学难题的广泛关注。

2026-07-28 ~ 2026-07-28 · 3 条相关

• Lean 形式化证明了 Feige 猜想的 $\delta\ge 1$ 情形 — RexDouglass · 2026-07-28
• ArXiv 论文称借助 GPT-5.6 Sol 证明 Feige 猜想 — RexDouglass · 2026-07-28
• GPT-5.6 据称解出概率论著名的 1/e 猜想 — PMinervini · 2026-07-28