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.

NEWS 07 June 2023 DeepMind AI creates algorithms that sort data faster than those built by people The technology developed by DeepMind that plays Go and chess can also help to write code.