Musk lobt Grok 4.5 für die Widerlegung einer 30 Jahre alten Graphentheorie-Hypothese in 8 Minuten; GPT-5 hat sie ebenfalls gelöst

Elon Musk lobte sein KI-Modell Grok 4.5 von xAI dafür, dass es eine seit 30 Jahren ungelöste Hypothese der Graphentheorie widerlegt hat. Die Lösung der Aufgabe dauerte nur 8 Minuten. Musk merkte auch an, dass das Modell GPT-5 von OpenAI die Aufgabe ebenfalls lösen konnte.