AI 在数学领域的突破正在加速。xAI 旗下模型 Grok 4.5 在一次非正式的内部讨论中，仅用 8 分钟便推翻了一个困扰数学界约 30 年的图论猜想，引发科技与投资圈广泛关注。
事件起源于用户 Dmitry Rybin 23 日在社交平台 X 上发布的一篇帖子。他表示，Dinitz-Garg-Goemans 猜想已被证伪——该图论问题悬而未决长达约 30 年。据其描述，相关发现借助 AI 完成，帖子附有具体的图论反例数据。
元股证券:ygzq.hk
随后，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 模型在数学推理能力上的竞争态势配资融资服务，也为市场评估两家公司技术实力提供了新的参照维度。
多空配资网提示：本文来自互联网，不代表本网站观点。
