Grok 4.5 破解30年图论猜想，马斯克声称

埃隆·马斯克宣布，其公司xAI的新人工智能模型Grok 4.5已解决图论中一个长达30年的假说。这一成就展示了人工智能领域的重大进展。该假说本身的细节尚未披露，但据称已困扰学界三十年。