OpenAI’s o3-Mini Is a Leaner AI Mannequin That Retains Tempo With DeepSeek