OpenAI's o3-mini and the future of software development