上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证

简讯内容以官方来源为准，本站仅做归集与主题筛选；发现遗漏或错误请联系 contact@ningai.com.cn。