Musk 称赞 Grok 4.5 用 8 分钟推翻 30 年图论猜想；GPT-5 也成功解出
xAI
OpenAI
埃隆·马斯克称赞 Grok 4.5 模型（xAI）仅用 8 分钟就推翻了一个存在 30 年之久的图论猜想。据他所说，GPT-5（OpenAI）也成功解决了这个问题。
埃隆·马斯克称赞其旗下公司xAI的人工智能模型Grok 4.5，该模型仅用8分钟就推翻了一个30年未解决的图论猜想。马斯克还提到，OpenAI的GPT-5模型也成功解决了这一难题。
来源: xAI Grok (GNews) —
原文