EU opens formal probe into Grok, X's recommender systems over sexualized imagery