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

xAI

OpenAI

Elon Musk lobte xAIs Grok 4.5 dafür, dass es eine 30 Jahre alte Graphentheorie-Hypothese in nur 8 Minuten widerlegte. Er merkte auch an, dass OpenAIs GPT-5 das gleiche Problem unabhängig gelöst habe, was den raschen Fortschritt im KI-Denken unterstreicht.

Elon Musk, CEO von xAI, lobte das Modell Grok 4.5 dafür, dass es eine seit 30 Jahren ungelöste graphentheoretische Hypothese widerlegt habe, was Berichten zufolge in nur acht Minuten gelang. Musk erwähnte auch, dass OpenAIs Modell GPT-5 dasselbe Problem unabhängig gelöst habe. Diese Errungenschaft unterstreicht die zunehmenden Fähigkeiten fortschrittlicher KI-Modelle in mathematischem Denken und Problemlösung. Weitere Einzelheiten zur Hypothese oder zum Überprüfungsprozess wurden nicht mitgeteilt.

Quelle: xAI Grok (GNews) — Original