Grok 5 released by December 31? · 72% (+4pp) — Polymarket odds