This was the first change to C++’s sorting algorithms in more than a decade and the first update ever to involve an algorithm discovered using AI.