马斯克秒转：Grok摸鱼8分钟，能拿菲尔兹吗？新智元

8分钟。就8分钟。

一个困扰数学界整整30年的图论猜想，被一个AI在Slack群聊里「摸鱼」的时候，顺手推翻了。

没人布置任务，没人精心设计提示词，甚至没人想到它会出手。

7月23日，AI初创公司Capy.ai联合创始人justin在X上发帖，还原了这场堪称「数学史上最随意的突破」全过程——

团队只是把一条关于图论猜想的帖子随手丢进了Slack群。结果他们的研究智能体Capy看到了，自己「决定试一把」。

更加惊人的是，Capy只是在Grok 4.5 Medium上运行——连旗舰版都不是。

8分钟后，它甩出了一个干净利落的反例。

猜想，死了。

马斯克火速转发：「Grok 4.5刚解决了一个开放约30年的图论猜想。」瞬间引来了四百多万人围观。

这个AI到底推翻了什么？

被推翻的猜想叫Graffiti Conjecture 284。它的出身本身就很魔幻。

1980年代，一个叫Graffiti的程序被设计来干一件事：批量自动生成数学猜想。

它就像一台「猜想流水线」，往外喷射各种数学命题，由人类数学家来判断对错。284号猜想就是这条流水线上的产品之一。

猜想说的事儿可以这样理解：在一类特殊的网络图里，有两个指标——一个衡量节点之间「关系的紧密程度」，另一个来自数学上更抽象的「距离矩阵」。猜想认为，前者永远不会超过后者。

Capy选中了图论里赫赫有名的Hoffman-Singleton图：50个点、每个点都连着7条边、结构极其规则对称，是教科书级的经典对象，数学家们盯着它研究了几十年。

Capy算了一下：前面那个指标是7，后面那个指标的绝对值是4。

猜想要求7 ≤ 4。一眼证伪。

荒诞的是：这张图很多人认识，猜想也在那摆了30年，但在Capy之前，就是没人把两者放到一起看一眼。

团队自己都不敢信。8分钟？在Slack里？他们立刻开启「对抗性复核」：专门派另外的AI去推翻这个反例，用AI证伪AI的证伪。

结果：两个复核任务都确认答案靠谱。他们又把引用过该猜想的所有349篇论文扫了一遍，确认此前从无人发表过这个反例。

这是货真价实的全新结果。技术报告随后公开。

一周之内，两个30年猜想接连倒下

更魔幻的是，这甚至不是本周唯一被干掉的30年猜想。

几乎同一时间，网络流领域的Dinitz-Garg-Goemans猜想也被证伪了——同样开放约30年，同样是AI的手笔。

研究者Dmitry Rybin在和GPT 5.6 Pro的聊天中发现了反例。他的提示词堪称「暴力美学」：「我受够了你的失败，请完成一个完整的无条件反例」。

GPT 5.6 Pro最终交出了一张7节点9条边的有向图，直接打破猜想的核心约束。

Rybin的感慨特别扎心：我知道「推翻老猜想」现在都快成梗了。但我真的在乎这个问题，花了好几周从证明和证伪两个方向反复想它。几乎所有图流领域的专家都想过这个问题。翻看Dmitry Rybin的主页介绍后我们注意到，这位老哥就在深圳！他博士毕业于香港中文大学（深圳），师从罗智泉院士，19 岁起就担任华为高级研究工程师，直接汇报董事会，目前在AI for computing 创业公司智子芯元做合伙人。