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

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

本条为 AI 行业动态摘要，由大时代信息科技每日自动采集自公开科技媒体与 GitHub 社区。