AI 在数学领域的突破正在加速。xAI 旗下模型 Grok 4.5 在一次非正式的内部讨论中，仅用 8 分钟便推翻了一个困扰数学界约 30 年的图论猜想，引发科技与投资圈广泛关注。
事件起源于用户 Dmitry Rybin 23 日在社交平台 X 上发布的一篇帖子。他表示，Dinitz-Garg-Goemans 猜想已被证伪——该图论问题悬而未决长达约 30 年。据其描述，相关发现借助 AI 完成，帖子附有具体的图论反例数据。
意外突破：Slack 对话中的数学发现
据贾斯汀 · 孙（Justin Sun）在 X 平台发布的帖子披露，团队将 Rybin 的原始帖子分享至内部 Slack 频道后，Capy ——一个运行在 Grok 4.5 Medium 之上的 AI ——主动尝试求解，并在 8 分钟内找到了一个新颖的反例，从而推翻了该猜想。
Dinitz-Garg-Goemans 猜想属于图论领域，核心涉及分数流（fractional flow）与不可分割流（unsplittable flow）之间的代价关系。根据 Rybin 的描述，被找到的反例图具有分数流代价 58，而任何容量违反不超过 15 的不可分割流，其代价至少为 60 ——这一差距直接否定了该猜想的成立。
该猜想自提出以来悬而未决约 30 年，属于组合优化与网络流领域的经典开放问题。
这意味着，在同一数学难题上，OpenAI 的 GPT-5 与 xAI 的 Grok 4.5 在短时间内相继给出有效解答，直观呈现出当前顶尖 AI 模型在数学推理能力上的竞争态势，也为市场评估两家公司技术实力提供了新的参照维度。
