“Alfred Lin characterizes Citadel Securities as fundamentally a technology and AI company due to its long-standing use of mathematical models for arbitrage and risk calculation.”