AlphaDev has made small but significant improvements to decades-old C++ algorithms. Its builders say that’s just the start.