OpenAI halves its Pro price to $100 for heavy Codex users, undercuts Anthropic and Google