OpenAIが「o3」と「o4-mini」を数週間以内にリリースすることを発表、ただし「GPT-5」のリリースは先送り