o4-mini modèle de raisonnement puissant qui repousse les frontières en programmation, mathématiques, sciences, perception visuelle et plus encore