Elon Musk Hails Grok 4.5 for Disproving a 30-Year Graph Theory Hypothesis in 8 Minutes; GPT-5 Also Solved It

Elon Musk, CEO of xAI, praised the Grok 4.5 model for disproving a long-standing graph theory hypothesis that had remained unsolved for 30 years, reportedly completing the task in just 8 minutes. Musk also mentioned that OpenAI's GPT-5 model independently solved the same problem. The achievement underscores the accelerating capabilities of advanced AI models in mathematical reasoning and problem-solving. No further details about the hypothesis or the verification process were provided.