AlphaDev was able to shave an instruction off of sort-3, sort-5, and sort-8, and even more off of sort-6 and sort-7. There was only one (sort-4) where it didn't find a way to improve the human code.

Sort codes are six digit numbers which identify both the bank and the branch where an account is held. Speaking to the British Bankers Association, Bank of England director James Proudman said ...