OpenAI o3 and o4-mini for Education: Reasoning Models in AI Tutoring | ibl.ai Blog