o4 mini推論モデルの最も強力なバージョン