самая мощная версия модели рассуждений o4 mini