数学界近期迎来一场意想不到的突破——一个困扰学界长达三十年的图论猜想，竟被人工智能在“闲聊”中轻松推翻。这一事件发生在某AI初创公司的内部Slack群组中，研究团队原本只是随意分享了一条关于图论猜想的帖子，没想到其研发的智能体Capy竟主动“接招”，在短短八分钟内便找到了反例，彻底终结了这一悬而未决的难题。
被推翻的猜想名为Graffiti Conjecture 284，诞生于上世纪八十年代。当时，一个名为Graffiti的程序被设计用于批量生成数学猜想，宛如一台“猜想制造机”，不断输出各类数学命题供人类验证。284号猜想便是其中之一，其核心内容可理解为：在特定类型的网络图中，衡量节点关系紧密程度的指标不会超过另一个基于距离矩阵的抽象指标。多年来，这一猜想始终未被证实或证伪，直到Capy的出现。
这一结果令团队震惊不已。他们迅速启动“对抗性复核”，派遣其他AI验证这一反例，并扫描了所有引用过该猜想的349篇论文，确认此前从未有人提出过类似反例。技术报告随后公开，引发学界广泛关注。更令人惊讶的是，这一突破并非孤立事件。几乎在同一时期，网络流领域的另一项三十年猜想——Dinitz-Garg-Goemans猜想也被AI证伪。研究者Dmitry Rybin在与GPT 5.6 Pro的对话中，通过“暴力美学”式的提示词，成功获得了一张七节点九条边的有向图，直接打破了猜想的核心约束。
短短两周内，数学界接连失去两项三十年猜想，而AI的“战绩”远不止于此。此前，OpenAI宣布其模型GPT-5.6 Sol Ultra通过64个并行子智能体，在不到一小时内完成了“循环双覆盖猜想”的完整证明——这是一项悬而未决五十余年的图论难题。同一周，Devin还推翻了另一项开放约四十年的Graffiti Conjecture 154。两个月内，四项困扰学界数十年的猜想相继被攻克，AI在数学领域的表现令人瞩目。
AI的崛起正在改变数学研究的范式。传统上，数学家需要依靠灵光乍现的天才直觉与长期沉浸的思考来突破难题，而AI则通过暴力搜索与海量计算，将人类的“没想到”转化为“试一下便知”。人类数学家精力有限，一生能系统尝试的对象有限；而AI可以在几分钟内遍历教科书中的所有经典图，快速锁定反例或验证猜想。这种能力使AI成为数学研究中不可或缺的“反例猎手”与“计算苦力”。
然而，AI的局限性同样明显。尽管它能够高效生产“拼图块”，但判断这些拼图是否与整体蓝图匹配，仍需人类数学家的智慧。菲尔兹奖得主陶哲轩指出，AI已从“低效研究生”进化为“初级合作者”，但数学家的角色正在转向“证明工程的架构师”——他们定义问题、构建框架，而AI则负责执行计算与验证。推翻一个三十年猜想与提出一个影响数学五十年的新理论，二者之间仍存在巨大差距。
数学界的未来或许会呈现这样一幅图景：AI越来越多地出现在论文的致谢栏甚至合著者列表中，但站在领奖台上的，仍是那些能够定义问题、跳出前人路径的人类大脑。不过，这一窗口期还有多长？无人知晓。毕竟，一年前人们还认为AI做数学是个笑话，而如今，它已在Slack群里“摸鱼”时解决了三十年的悬案。数学圈，或许真的该紧张了。
