GPT-5.6据称辅助证明概率论长期难题Feige猜想

概率论领域的长期开放问题Feige猜想近日取得突破。据多篇arXiv论文及社区讨论透露，有研究者借助GPT-5.6 Sol成功给出了该猜想的简短证明，并在特定情形下完成了Lean形式化验证。Feige猜想主要探讨一组独立非负随机变量之和的小偏差不等式问题。这一进展不仅解决了数学界的重要难题，也再次凸显了前沿大模型在辅助复杂数学推理与学术研究方面的巨大潜力。

2026-07-28 ~ 2026-07-29 · 4 条相关

• 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
• GPT-5.6 据称解开概率论长期开放问题 Feige 猜想 — MickeySteamboat · 2026-07-29