The new system, called AlphaDev, focuses on finding more efficient algorithms for software development