o4-mini modelo de raciocínio poderoso que avança as fronteiras em programação, matemática, ciências, percepção visual e muito mais