Software engineers are finding OpenAI’s new GPT-5 model is helping them think through coding problems—but isn’t much better at actual coding.