数学界一项悬而未决近三十年的难题，近日因人工智能的介入取得突破性进展。xAI公司研发的Grok 4.5模型在非正式场景下，仅用八分钟便找到关键反例，推翻了图论领域著名的Dinitz-Garg-Goemans猜想。这一消息经社交平台传播后，迅速引发科技界与投资领域的双重震动。
事件起源于程序员德米特里·里宾（Dmitry Rybin）在社交平台X发布的技术帖。他公开了通过AI辅助发现的图论反例数据，宣称这个困扰组合优化领域多年的猜想已被证伪。该帖子详细展示了反例图的结构特征：分数流代价为58，而任何容量偏差不超过15%的不可分割流代价均不低于60，这种数值差异直接否定了原猜想的核心论断。
xAI创始人埃隆·马斯克在转发该帖时特别强调："这不是预设的基准测试，而是发生在团队Slack频道的日常讨论中。"据内部人士披露，当里宾的原始帖子被分享至工作群组后，运行在Grok 4.5 Medium版本上的AI助手Capy主动介入分析，在八分钟内完成了从问题理解到反例验证的全过程。这种非计划性的突破模式，让数学界对AI的实际应用能力产生全新认知。
Dinitz-Garg-Goemans猜想自1990年代提出以来，始终是网络流理论的研究焦点。该问题试图建立分数流与不可分割流之间的代价关联模型，其解决将直接影响物流调度、通信网络等领域的算法设计。此次发现的反例图包含数百个节点与边，传统人工验证需要数周时间，而AI系统通过并行计算将周期压缩至分钟级别。
参与项目的技术人员透露，Capy在推理过程中展现了独特的解题路径。它首先将图论问题转化为线性规划模型，然后通过约束松弛技术快速定位潜在反例区域，最终利用组合优化算法完成精确验证。这种跨领域的解题策略，超出了多数人类研究者的常规思维框架。
目前，相关研究论文正在准备提交至顶级数学期刊。学界普遍认为，尽管此次突破发生在非正式场景，但AI展现的自主推理能力已达到专业数学家水平。随着多模态大模型的发展，类似的技术突破可能在未来频繁出现，重新定义数学研究的范式边界。
