o4-mini modelo de razonamiento potente que amplía las fronteras en programación, matemáticas, ciencias, percepción visual y más