Resolves YES iff OpenAI’s GPT-5 is available to the public on or before July 31st 2025, 11:59pm ET.

Must be publicly accessible - open betas would count, not closed betas. Must be called GPT-5 or some clear variation (eg “5o”).