@mattshumer_: 又一个长期未解的猜想被AI推翻了。疯狂的是提示词……基本上：- “做一次突破…”

X AI KOLs Timeline 新闻
ai breakthrough mathematics conjecture graph-theory open-problem ai-research

摘要

一条推文报道，AI（很可能是GPT-5.6 Pro）推翻了图论中一个长期未解的Dinitz-Garg-Goemans猜想，使用的提示词很简单，比如“做一次突破”。

又一个长期未解的猜想被AI推翻了。 疯狂的是提示词……基本上： - “做一次突破” - “继续搜索” - “够了，做吧” 很快任何人都能做出颠覆世界的突破。只需给模型指明方向。https://t.co/E4DGT5ch7d
查看原文
查看缓存全文

缓存时间: 2026/07/22 18:35

所以，又一个长期悬而未决的猜想被人工智能推翻了。

真正疯狂的是那些提示词……基本上就是：

  • “做一次突破”
  • “继续搜索”
  • “够了，执行吧”

很快，任何人都能做出颠覆世界的突破。只需把模型引向正确的方向。https://t.co/E4DGT5ch7d

Dmitry Rybin (@DmitryRybin1): Dinitz-Garg-Goemans 猜想是错的。这个图论问题已经存在了大约 30 年。

下面的图中分数流成本为 58。任何不可拆分流（容量违反 ≤ 15）的成本至少为 60。

这是与 GPT 5.6 Pro 对话时发现的：

相似文章

人类数学家正在被反例超越

Hacker News Top

包括ChatGPT和OpenAI的Sol在内的人工智能系统，已经驳斥并完全形式化了Erdős单位距离猜想，标志着人工智能辅助数学的一个里程碑。文章讨论了这一过程及其对数学证明验证未来的影响。