Four million weekly users just got a coding agent in their pocket. OpenAI shipped Codex inside the ChatGPT mobile app yesterday, and the gap between "I had an idea on the subway" and "I shipped it before I got home" just collapsed.