Elon Musks Grok-KI wird in Mathematik immer besser