新智元报道 AI 数学，正在越过一个很微妙的分界线。 过去我们问的是：大模型能不能做出一道难题？能不能写出严谨证明？能不能找到人类几十年没发现的反例？ 而现在，一个更像「科研本身」的问题冒了出来：当一条证明路线失败之后，AI 知不知道下一步该干什么？是继续算，换路线，缩小命题，还是干脆提出一个新的、
新智元报道 AI 数学，正在越过一个很微妙的分界线。 过去我们问的是：大模型能不能做出一道难题？能不能写出严谨证明？能不能找到人类几十年没发现的反例？ 而现在，一个更像「科研本身」的问题冒了出来：当一条证明路线失败之后，AI 知不知道下一步该干什么？是继续算，换路线，缩小命题，还是干脆提出一个新的、
By