Jane Street? Major proprietary trading house using algorithmic, neural network, mathematical and AI trading methodologies for ultra short term market exposure.