如果换用别的包，可以这样做

\documentclass{article}
\usepackage{amsthm}
\usepackage{zref-clever}

\AddToHook{env/thm/begin}{\zcsetup{countertype={thm = theorem}}}
\AddToHook{env/lem/begin}{\zcsetup{countertype={thm = lemma}}}

\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}

\begin{document}
  \begin{thm}\label{thm}
    foo
  \end{thm}

  \begin{lem}\label{lem}
    foo
  \end{lem}

  \zcref{lem}
\end{document}

这里的 theorem 和 lamma 都是 zref-clever 支持的已知类型，如果是未知类型，还可以做类似如下的设置

\zcRefTypeSetup{experiment}{
  Name-sg= Experiment,
  name-sg= experiment,
  Name-pl= Expariments,
  name-pl= experiments,
  Name-sg-ab= Expr.,
  name-sg-ab= expr.,
  Name-pl-ab= Exprs.,
  name-pl-ab= exprs.
}

然后就可以

\AddToHook{env/expr/begin}{\zcsetup{countertype={expr = experiment}}}
\newtheorem{expr}{Experiment}

仅从这个问题来看，zref-clever 仿佛并未打开多少便利，但已经很多人都换成这个包了，我姑且也慢慢适应吧

其实还有一个办法可以解决，但是麻烦一些。

\documentclass{article}
\usepackage{amsthm}
\usepackage{cleveref}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}

\begin{document}
  \begin{thm}\label{thm}
    foo
  \end{thm}
  \begin{lem}\label[lem]{lem}
    foo
  \end{lem}
  \cref{lem}, \Cref{lem}
\end{document}

真的，每年都要重复讲。

或许是因为我的版本是 texlive 2025 吧，我用 latexmk -pdf 编译文件时没有复现你的问题。

只有 windows 系统中正常安装了简体中文版本才可以啊。

并不是卸载的时候，而是安装的时候会删除系统环境变量。这是当初 CTeX 套装用的打包工具导致的麻烦，新的版本是否还用那个打包工具，我目前没了解。

\documentclass{ctexart}
\setmainfont{TeX Gyre Termes}
\usepackage{unicode-math}
\setmathfont{TeX Gyre Termes Math}
\usepackage{zhlipsum}
\usepackage{lipsum}
\begin{document}
\zhlipsum[1]
\lipsum[1]
\begin{equation*}
  \sum_{n=1}^{\infty} b_{2n-1} \sin (2n-1) x
\end{equation*}
\end{document}

\documentclass{article}
\usepackage{amsmath}
\usepackage{lipsum}
\begin{document}
  \begin{alignat}{4}
    \mathrm{max}  & \ &  & \sum_{i=1}^np_if_i(s_i)                                                      & \qquad &  \\
    \mathrm{s.t.} &   &  & \sum_{j=1}^{n+1}x_{0,j}=\sum_{i=0}^{n}x_{i,n+1}=1,                           &        &  \\
                  &   &  & \sum_{j=0,j\neq i}^nx_{j,i}=\sum_{j=1,j\neq i}^{n+1}x_{i,j}=y_i,             &        & \forall i \in N_c  \\
                  &   &  & \sum_{i=1}^{n}s_{i}+\sum_{i=0}^{n}\sum_{j=1}^{n+1}t_{ij}x_{ij}\leq T_{\max}, &        & \\
                  &   &  & s_{i}\leq\tau_{i}y_{i},                                                      &        & \forall i \in N_c  \\
                  &   &  & 1\leq z_{i}\leq n,                                                           &        & \forall i \in N_c  \\
                  &   &  & z_{i}-z_{j}+1\leq n(1-x_{ij}),                                               &        & \forall i,j \in N_c, i \neq j  \\
                  &   &  & x_{ij}\in\{0,1\},                                                            &        & \forall i,j \in N \\
                  &   &  & y_{i}\in\{0,1\},                                                             &        & \forall i \in N_c &  \\
                  &   &  & s_{i}\geq0,                                                                  &        & \forall i \in N_c
  \end{alignat}
\end{document}

我复制了问题中的第2段代码，并用我的 texlive 尝试编译了一下，编译命令

latexmk -pdf filename

一切正常，麻烦你试试命令行编译，如果它能通过，可能是你的 texstudio 设置出了问题

如果当前正文段落的行数不够，wrapstuff 的作用会延续到下一段。这可能会导致某些意外结果，可以在下一段之前启用命令 \wrapstuffclear 消除影响。

\documentclass{article}
\usepackage{wrapstuff}
\usepackage{tabto}

\begin{document}
\NumTabs{3} A \tab B \tab C \newline
\begin{wrapstuff}[type=figure, width=\linewidth, r]
  \centering
  {AAA BBB BBB} \\
  {AAA BBB BBB} \\
\end{wrapstuff}
\wrapstuffclear
\NumTabs{3} A \tab B \tab C \newline
\end{document}

尝试提供一个最小工作示例，是要这样的感觉吗？

\documentclass{ctexart}
\usepackage{wrapstuff}
\usepackage{tasks}
\usepackage{mwe}
\usepackage{zhlipsum}

\begin{document}
\begin{wrapstuff}[r,top=0]
  \includegraphics[width=\dimeval{\linewidth/3}]{example-image.pdf}
\end{wrapstuff}
\zhlipsum[1]
\begin{tasks}
  \task 一
  \task 二
  \task 三
  \task 四
\end{tasks}
\end{document}

你提供的最小工作示例有点复杂，我就不编译了。直接说我以前的解决方法。
如果你用诸如 \addcontentsline{toc} 的方案，在它前面加上一个 \phantomsection 试试

你查查 fontawesome5 包的 \faGithub

\documentclass{ctexart}
\usepackage{mathtools}
\begin{document}
  其中插值基函数为
  \begin{align*}
    &
    l_0(x)=
    \begin{dcases}
      \frac{(x - x_1)}{x_0 - x_1}, & x \in [x_0,x_1] \\
      0, & \text{其他},
    \end{dcases}
    \\
    & l_i(x)=
    \begin{dcases}
      \frac{x-x_{i-1}}{x_i-x_{i-1}}, & x \in [x_{i-1},x_i],\\
      \frac{x-x_{i+1}}{x_i-x_{i+1}}, & x \in [x_i,x_{i+1}]\\
      0, & \text{其他}
    \end{dcases}
    & i = 1,2,\dotsc,n-1,\\
    &
    l_n (x) =
    \begin{dcases}
      \frac{x - x_{n-1}}{x_n - x_{n-1}}, & x \in [x_{n-1}, x_n],\\
      0, & \text{其他}.
    \end{dcases}
  \end{align*}
\end{document}

我安装了全套的方正字体之后还是可以见到如图效果的。