图论猜想悬赏 3000 美元，已被 Lean 形式化可直接找反例
MarioKrenn6240 · x · 2026-07-23
这条转发在讲一个图论猜想悬赏 3000 美元的趣味挑战：作者把问题做了 Lean 形式化，号召大家直接用提示词去“找反例”。
被引用的上下文补充说，Dinitz-Garg-Goemans 猜想已被证明是假的：有人用 GPT-5.6 Pro 找到了一张图，使得分数流成本为 58，而在容量违约不超过 15 的条件下，任何不可分流的成本都至少是 60。
「Fun」频道最新
- Mistral 的首家猫咖已开张，猫先占了键盘 — sophiamyang · 2026-07-23
- Mistral 举办首届 Cat Café 活动，经典“猫踩键盘”名场面重现 — sophiamyang · 2026-07-23
- 一张备忘录梗图列出 3D Jarvis 和 GitHub 睡眠分析 — hewarsaber · 2026-07-23
- Clavicular 推出 AI looksmaxxing 应用，分析面部平衡和打理潜力 — Polymarket · 2026-07-23
- 把数学公式织成了一双理工味袜子 — miniapeur · 2026-07-23
- HyperFrame 用 Kimi K3 复刻知名动效视频，还原度很高 — op7418 · 2026-07-23