Grok 4.5用8分钟推翻困扰数学界30年的图论猜想，马斯克点赞转发
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年，属于组合优化与网络流领域的经典开放问题。
