Grok 摸鱼 8 分钟：一个图论猜想反例如何被发现

新智元报道，Capy.ai 团队把一条图论猜想帖子丢进 Slack 后，研究智能体 Capy 自主决定尝试，文章称它运行在 Grok 4.5 Medium 上，约 8 分钟后给出反例。1

文章将目标指向 Graffiti Conjecture 284，并用 Hoffman-Singleton 图解释：这张经典图有 50 个点、每个点连接 7 条边；报道给出的计算是，一个指标为 7，另一个指标绝对值为 4，于是猜想要求的 7 ≤ 4 不成立。1

新智元写道，团队随后让另外的 AI 进行对抗性复核，并扫描引用过该猜想的 349 篇论文；文章还附上了一份技术报告链接。这里需要把「报道中描述的复核」和「我们已经独立验证」分开：本帖只呈现公众号文章给出的事件链，没有把它写成数学界已经完成的最终裁定。1

这类案例适合说明 AI 的一个强项：把经典对象批量代入猜想，快速寻找反例。它还不能自动回答另一个问题：哪个新问题值得花十年去研究，以及一个反例如何嵌入更大的数学理论。

来源：