OpenAIがGPT-5.2-Codexをリリースし、新たなAIコーディングベンチマークを設定