la versión más potente del modelo de razonamiento o4 mini