图论猜想悬赏 3000 美元，已被 Lean 形式化可直接找反例
MarioKrenn6240 · x · 2026-07-23
这条转发在讲一个图论猜想悬赏 3000 美元的趣味挑战：作者把问题做了 Lean 形式化，号召大家直接用提示词去“找反例”。
被引用的上下文补充说，Dinitz-Garg-Goemans 猜想已被证明是假的：有人用 GPT-5.6 Pro 找到了一张图，使得分数流成本为 58，而在容量违约不超过 15 的条件下，任何不可分流的成本都至少是 60。
「Fun」频道最新
- 从业者共鸣:怀念应用的人工手艺、人类写作与技术争论 — vboykis · 2026-09-11
- 「见到卖课大师就霸凌到他退网」:伪禅宗语录讽刺 X 卖课潮 — DionysianAgent · 2026-09-11
- antirez 吐槽：封面放震惊脸的 YouTube 视频一律不看 — antirez · 2026-09-11
- 无CGI哈利·波特画面生成翻车，被讽对齐团队尽职尽责 — gaganghotra_ · 2026-09-11
- AI 圈名言:我以前是梗图号,现在为社会未来负责了 — PeterBowdenLive · 2026-09-11
- 网友反讽 AI 暂停倡议:先暂停人类再说 — djcows · 2026-09-11