Minor changes to the name, such as using "o4-large-1125" instead of "o4", are acceptable when determining the announcement. Moreover, skipping some numbers (o5, o9) is similarly acceptable.

To count as announced, an official announcement, with information about the model's capabilities, must be made by OpenAI or an official partner of OpenAI. if it's banned in the US but releases in China this market would still resolve YES.

Note that the model being publicly available at a future date is not required. This market, had it been about o3, would have resolved YES "before January 2025".