o4-mini コーディング、数学、科学、視覚認識などの分野で最先端を切り開く強力な推論モデル