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 ...

Sort codes are six digits numbers that identify where you bank, and at what branch your account is held. This is the code that's changing. If you receive a letter in the post - you don't need to ...