上海AI实验室书生-S2大模型进入前沿数学研究流程，助力三维Ghys猜想证明并通过形式化验证。该事件显示大模型能力正从文本生成扩展到数学推理、符号计算和证明辅助。若AI能与形式化验证工具结合，可提高科研效率并降低人工推导错误风险。这也为国产大模型在科学智能领域的应用提供样本，后续需关注其在复杂推理、数据质量和可解释性上的稳定性。 关键要点书生-S2参与三维Ghys猜想证明通过形式化验证提升可信度大模型向科学智能领域延伸 返回列表 上一篇 下一篇
