phiên bản mạnh mẽ nhất của mô hình suy luận o4 mini