مدل استدلالی o3 mini برای رقابت با DeepSeek معرفی شد