近日，一则关于人工智能在数学领域取得重大突破的消息引发科技与投资圈热议。xAI旗下模型Grok 4.5在内部讨论中仅用8分钟便推翻了一个困扰数学界约30年的图论猜想，这一成果迅速成为焦点。
事件的起因源于社交平台X上的一篇帖子。用户Dmitry Rybin于23日发布消息称，Dinitz-Garg-Goemans猜想已被证伪。该图论问题自提出以来悬而未决近30年，属于组合优化与网络流领域的经典开放问题。Rybin在帖子中详细描述了相关发现，并附上具体的图论反例数据，引发广泛关注。
xAI创始人埃隆·马斯克随后点赞并转发该帖子，评论称“Grok 4.5刚刚解决了一个悬而未决约30年的图论猜想”，进一步推动了事件的传播。这一突破并非通过精心设计的基准测试完成，而是在团队Slack频道的日常讨论中偶然触发，凸显了当前顶级AI模型在数学推理方面的实际能力。
据贾斯汀·孙在X平台披露的细节，团队将Rybin的原始帖子分享至内部Slack频道后，运行在Grok 4.5 Medium之上的AI——Capy主动尝试求解该问题。令人惊讶的是，Capy仅用8分钟便找到一个新颖的反例，从而推翻了这一猜想。这一过程的非计划性使其格外引人注目：AI并非在受控的研究环境中被专门部署，而是在一次随机的团队讨论中自主“介入”，并独立完成推理与验证。
Dinitz-Garg-Goemans猜想的核心涉及分数流与不可分割流之间的代价关系。根据Rybin的描述，被找到的反例图具有分数流代价58，而任何容量违反不超过15的不可分割流，其代价至少为60。这一差距直接否定了该猜想的成立，为图论领域的研究提供了新的方向。
此次突破不仅展示了AI在数学研究中的潜力，也引发了市场对AI前沿能力的广泛关注。Grok 4.5 Medium版本通过非正式渠道完成这一成果，进一步证明了AI在复杂问题求解中的实际应用价值。
