一句话判断
展示了AI在数学猜想验证中的具体能力,值得持续跟踪AI推理研究进展。
核心信息
Dmitry Rybin利用GPT 5.6 Pro发现Dinitz-Garg-Goemans图论猜想反例,该猜想已存在约30年。
原始内容
alistair (@alistaiir) 转发了 will depue (@willdepue) 的帖子:
absolute chad prompting: "had enough of your failure. please finish with complete unconditional counterexample to the Dinitz-Garg-Goemans conjecture" https://t.co/aeyoia63sf

> **引用原帖 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
AI 30年图论猜想被推翻
Dmitry Rybin 通过 GPT 5.6 Pro 发现 Dinitz-Garg-Goemans 猜想错误,该猜想开放约30年。具体反例图显示分式流成本58,不可分裂流(容量违反≤15)成本至少60。
观察
03
Cursor 发布模型路由器,成本减六成
Cursor 宣布推出 Cursor Router,这款智能模型路由工具可分析每个请求并将其分配给最佳模型,在提供前沿性能的同时将成本降低 60%。
观察
04
Bolt.new 新 Skills 功能:团队共享上下文
Bolt.new 更新 Skills 功能,允许用户一次性设置设计系统和品牌语音,所有团队成员共享,一次提示自动触发多个技能,无需手动调用。
观察
05
Google Slides 集成 Gemini 生成演示文稿
Sundar Pichai 宣布在 Google Slides 中集成 Gemini,用户可通过 Gemini 快速生成完整且可编辑的演示文稿,声称节省时间。
观察