首次国产大模型攻克世界级数学难题！北上广三地联手
首次国产大模型攻克世界级数学难题！北上广三地联手大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
来自主题: AI资讯
8410 点击 2026-10-19 12:14
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。