ChatGPT 5.5 Pro 助力证明四人 EFX 公平分配可扩至九物品
kimmonismus · x · 2026-09-03
作者 Kimmonismus 称与计算机科学家 Eyad Alkassar 通话,了解到 ChatGPT 5.5 Pro 帮助推进了一个开放计算机科学难题的边界。
问题本身很直观:四个人分九件物品,各人估值不同,目标是找到一种分配,使得即使从别人的份额中拿走任意一件物品,也没有人会更羡慕对方剩余的东西——这被称为 EFX(去掉任意物品后无嫉妒)。
- 对四人以上场景,完整 EFX 分配是否总存在仍是开放问题
- 此前对四人的一般性保证仅覆盖七件物品
- Alkassar、Mahmoud Fouz 与著名计算机科学家 Kurt Mehlhorn 的新预印本将证明推进到九件物品
- 缘起是晚宴上 Alkassar 向 Mehlhorn 发起用 AI 的挑战
「模型」频道最新
- Ling-3.0-flash-Fin 开源发布：124B 参数仅激活 5.1B — Bestlife73 · 2026-09-03
- Codex Desktop 现身 gpt-6-astra 等新模型代号 — BLCNYY · 2026-09-03
- 博主对比发现海外模型订阅均价远低于国内 token 套餐 — yihui_indie · 2026-09-03
- 实测排名:Fable 5.1超Claude Opus,RL环境生成最强 — HarveenChadha · 2026-09-03
- 哲学家称 Fable 5.1 找出 Arrhenius 不可能性定理并不成立 — willmacaskill · 2026-09-03
- Reddit 用户称 OpenAI 大规模封号：付了费却被禁用服务 — Existing-Slide7395 · 2026-09-03