The company believes its Codex machine learning algorithm is the next step in programming—a sidekick for coders to speed up the work and ease the drudgery.