已收录文章摘要，完整内容可前往原文阅读。
新智元报道 AI数学，正在越过一个很微妙的分界线。过去我们问的是：大模型能不能做出一道难题？能不能写出严谨证明？能不能找到人类几十年没发现的反例？而现在，一个更像「科研本身」的问题冒了出来：当一