AI wins IMO gold medal in 2026 82% Yes · Polymarket