Grok 4.5 在 8 分钟内推翻困扰数学界 30 年的图论猜想
Grok 4.5 在无人工干预下快速推翻一个 30 年图论猜想，展示 AI 在反例搜索上的巨大潜力。
AI 初创公司 Capy.ai 的研究智能体在 Slack 群聊中自主发现图论中 Graffiti 猜想 284 的反例，仅用 8 分钟，且运行的是 Grok 4.5 的中等版本。该猜想在 1980 年代由程序生成，涉及图论中两个指标的对比。AI 通过计算 Hoffman-Singleton 图发现反例，随后团队进行了对抗性复核确认。同期还有其他 AI 证伪多个长期悬疑猜想。
正文摘录
 新智元报道  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。