“OpenAI is providing $84 million in Codex credits to approximately 844,000 students in Ohio.”