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 猜想(3 条相关)→
「模型」频道最新
- Together AI 将于 7 月 30 日深讲 Kimi K3 架构与推理 — togethercompute · 2026-07-29
- Together AI 联合 Moonshot 举办 Kimi K3 架构分享 — togethercompute · 2026-07-29
- 三个前沿模型把简单抽链任务写成了网页应用 — NickPassig · 2026-07-29
- Fable 被赞会优先尝试并行与多流方案 — dejavucoder · 2026-07-29
- Kimi K3 开头信息密度很高，少量 token 装下很多内容 — nathanbenaich · 2026-07-29
- MoonshotAI 的 FlashKDA 提交暗示主线模型用了混合注意力 — peterjliu · 2026-07-29