AI在数学领域的突破正在加速。xAI旗下模型Grok 4.5在一次非正式的内部讨论中，仅用8分钟便推翻了一个困扰数学界约30年的图论猜想，引发科技与投资圈广泛关注。
事件起源于用户Dmitry Rybin 23日在社交平台X上发布的一篇帖子。他表示，Dinitz-Garg-Goemans猜想已被证伪——该图论问题悬而未决长达约30年。据其描述，相关发现借助AI完成，帖子附有具体的图论反例数据。
随后，xAI创始人埃隆·马斯克点赞并转发，评论称"Grok 4.5刚刚解决了一个悬而未决约30年的图论猜想"。
这一事件迅速引发市场对AI前沿能力的关注。Grok 4.5 Medium版本以非正式渠道完成这一突破，尤其值得注意的是，这并非一次精心设计的基准测试，而是在团队Slack频道的日常讨论中偶然触发，进一步凸显当前顶级AI模型在数学推理方面的实际落地能力。
意外突破：Slack对话中的数学发现
据贾斯汀·孙（Justin Sun）在X平台发布的帖子披露，团队将Rybin的原始帖子分享至内部Slack频道后，Capy——一个运行在Grok 4.5 Medium之上的AI——主动尝试求解，并在8分钟内找到了一个新颖的反例，从而推翻了该猜想。
这一过程的非计划性使其格外引人注目。AI并非在受控的研究环境中被专门部署于该问题，而是在一次随机的团队讨论中自主"介入"，并独立完成了推理与验证。
Dinitz-Garg-Goemans猜想属于图论领域，核心涉及分数流（fractional flow）与不可分割流（unsplittable flow）之间的代价关系。根据Rybin的描述，被找到的反例图具有分数流代价58，而任何容量违反不超过15的不可分割流，其代价至少为60——这一差距直接否定了该猜想的成立。
该猜想自提出以来悬而未决约30年，属于组合优化与网络流领域的经典开放问题。
值得关注的是，Rybin本人在其帖子中提及，上述发现最初是通过与GPT-5的对话完成的，并附上了相关聊天记录链接。而贾斯汀·孙随后展示了Grok 4.5 Medium同样独立完成了这一推翻过程。
这意味着，在同一数学难题上，OpenAI的GPT-5与xAI的Grok 4.5在短时间内相继给出有效解答，直观呈现出当前顶尖AI模型在数学推理能力上的竞争态势，也为市场评估两家公司技术实力提供了新的参照维度。
