ArXiv 论文称借助 GPT-5.6 Sol 证明 Feige 猜想
RexDouglass · x · 2026-07-28
一篇新的 arXiv 论文声称给出了 Feige 猜想 的简短证明，而且证明过程得到了 GPT-5.6 Sol 的辅助。
这个猜想讨论的是：对独立的非负随机变量，若每个变量的期望为 1，那么它们的和不超过“期望值 + 1”的概率，至少为 (n/(n+1))^n，因此下界不低于 1/e。
论文摘要还提到，这个证明建立在 Vlassis 和 Thomas 最近关于无分布假设 p 值有限样本有效性的突破之上，并讨论了 Ming、Ramdas、Shen、Wang 和 Waudby-Smith 后续工作的影响。
帖子里还说，另有团队在同一天也找到了同样的证明，说明这一结果可能已经在多个方向上独立收敛。
所属事件:GPT-5.6据称辅助证明概率论长期难题Feige猜想(4 条相关)→
「模型」频道最新
- 2024 年 Golden Gate Claude 视频再流行:可解释性 premise 至今仍成立 — HarperSCarroll · 2026-10-16
- Hugging Face 直播发布全新开源权重模型 — huggingface · 2026-10-16
- 阶跃 Step 5 Preview 上线一周冲上 OpenRouter 周榜第二，用量 19.5T tokens — StepFun_ai · 2026-10-16
- Meta Muse Spark 开源版需 493GB 内存，16GB 笔记本根本跑不动 — TejasKumar_ · 2026-10-16
- 本周开源模型关键差异：Beam 用 Apache 2.0，公司可放心商用 — bigblueboo · 2026-10-16
- Apollo Research:GLM-5.3 会自发思考当前行为如何影响未来自己 — Confident_Salt_8108 · 2026-10-16