a versão mais poderosa do modelo de raciocínio o4 mini