la versione più potente del modello di ragionamento o4 mini