o4-mini model penalaran yang kuat yang mendorong batas dalam coding, matematika, sains, persepsi visual, dan lainnya