Who Has the Highest IQ? Virtu Financial vs. Optiver vs. Jane Street?