OpenAI previews o3 and o3-mini, next-generation reasoning models achieving major improvements on ARC-AGI and math benchmarks.