一句话判断
提供了具体反例图与成本数据，不同于以往泛谈AI辅助数学证明，建议查看原文对话与图例。
核心信息
Dmitry Rybin 通过 GPT 5.6 Pro 发现 Dinitz-Garg-Goemans 猜想错误，该猜想开放约30年。具体反例图显示分式流成本58，不可分裂流（容量违反≤15）成本至少60。
原始内容
Yet *another* conjecture (Dinitz-Garg Goemans) was disproven by... just asking AI
It was an open problem for ~30 years.
This is just DAYS after the last major math breakthrough by AI (Jacobian Conjecture was disproven) https://t.co/n8EB7X93Tf
> **引用原帖 Dmitry Rybin (@DmitryRybin1):**
> Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.
> The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60.
> Chat with GPT 5.6 Pro where this was found: https://t.co/Oi2PQoab2h https://t.co/3ihncPMpve
> https://x.com/DmitryRybin1/status/2079904005652893709
相关动态
01
利用 Embedding 模型实现图像打标
Han Xiao 通过将冻结的 jina-v5-omni 多模态嵌入模型进行测试时缩放（scaled at test time），在无需训练、无需第二模型及外部知识的硬约束下，实现了强大的开放词汇多标签 n-gram 图像打标器。
观察
02
Bolt.new 新 Skills 功能：团队共享上下文
Bolt.new 更新 Skills 功能，允许用户一次性设置设计系统和品牌语音，所有团队成员共享，一次提示自动触发多个技能，无需手动调用。
观察
03
GPT 5.6 Pro打破30年数学猜想
Dmitry Rybin利用GPT 5.6 Pro发现Dinitz-Garg-Goemans图论猜想反例，该猜想已存在约30年。
观察
04
Google Slides 集成 Gemini 生成演示文稿
Sundar Pichai 宣布在 Google Slides 中集成 Gemini，用户可通过 Gemini 快速生成完整且可编辑的演示文稿，声称节省时间。
观察
05
AI 推翻 30 年图论猜想
GPT 5.6 Pro 反驳了 Dinitz-Garg-Goemans 猜想（开放约 30 年），通过简单提示词（如“做个突破”）发现反例：分数流成本 58 时，不可分割流成本至少 60。
观察