Musk praises Grok 4.5 for disproving 30-year-old graph theory hypothesis in 8 minutes; GPT-5 also solved it
xAI
OpenAI
Elon Musk praised the Grok 4.5 model (xAI) for disproving a 30-year-old hypothesis in graph theory in just 8 minutes. According to him, GPT-5 (OpenAI) also successfully solved this problem.
Elon Musk praised his AI model Grok 4.5 from xAI for disproving a graph theory hypothesis that had remained unsolved for 30 years. Solving the problem took only 8 minutes. Musk also noted that OpenAI's GPT-5 model was also able to solve this problem.
Source: xAI Grok (GNews) —
original