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 模子在数学理能力上的竞争态势，也为商场评估两公司时代实力提供了新的参照维度。手机：18632699551（微信同号）相关词条:玻璃棉毡     塑料挤出机     预应力钢绞线    铁皮保温    万能胶生产厂家

1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定可克达拉铝皮保温施工队，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。