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