上海
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模型在數學推理能力上的競爭態勢，也為市場評估兩家公司技術實力提供了新的參照維度。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
