AI race cars are gaining on F1-caliber drivers. Will they ever replace them?