Grok 4.5 代理在 Slack 里找到 30 年图论猜想反例
veggie_eric · x · 2026-07-23
- 一条在 Slack 里分享的图论讨论，最终被名为 Capy 的代理拿来试手；帖子称它在 8 分钟内找到了一个新的反例。
- 这条反例针对的是 Graffiti Conjecture 284 / Aouchiche-Hansen conjecture，原帖称该问题已开放约 30 年，并已被证伪。
- 引用段给出的核心结论是：某个图的 fractional flow cost 为 58，而在给定“capacity violation ≤ 15”的条件下，任何 unsplittable flow 的成本都至少是 60。
「Fun」频道最新
- 有人开玩笑说：在日本一个月都在给 agents 递提示词 — henloitsjoyce · 2026-07-23
- 一条转发把原始聊天机器人 ELIZA 又拉回了 AI 圈梗图 — paul_cal · 2026-07-23
- 个人 AI 电脑控制 Agent 已做到 141 个 Python 文件 — Vivid_Ad_5069 · 2026-07-23
- 陶哲轩用 ChatGPT 研究数学，AI 批评者还在喊它没用 — Dr_Singularity · 2026-07-23
- “反正都会拿到 weights”成了 AI 圈梗 — tekbog · 2026-07-23
- 特斯拉称 FSD Supervised 跑了 120 亿英里后比人工驾驶安全两倍 — elonmusk · 2026-07-23