新智元报道AI数学,正在越过一个很微妙的分界线。过去我们问的是:大模型能不能做出一道难题?能不能写出严谨证明?能不能找到人类几十年没发现的反例?而现在,一个更像...
Copyright 2026 聚鑫汇h5科技 版权所有 豫ICP备888888888号