Worryingly, we don’t actually know the extent to which AI and other algorithms are being used in sentencing.