In a livestream demo, xAI showed how its latest AI, Grok 4, integrates Polymarket prediction data — with a spotlight on the 2025 World Series.