OpenAI bringt o1-mini raus — ein kleineres Reasoning-Modell, das weniger kostet und trotzdem denken kann.