o4-mini potente modello di ragionamento che spinge i confini nella programmazione, matematica, scienza, percezione visiva e altro ancora