“The problem with these auctions, or specifically the format that's really relevant to capital markets, is they're a very, very hard optimization problem. And there wasn't really a technical path to do them at the speed and scale of capital markets at the time when was studying them.”