#上海人工智能实验室

共 3 条 · 7 天 1 条 · 30 天 1 条

AI4S 1 SHEAF 1 书生-S2 1 太初元碁 1 开源模型 1 数学推理 1 科学计算 1 算子优化 1

信息流里打上「上海人工智能实验室」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月15日

模型 Agent 与开发者74°12:44

上海AI实验室用书生-S2模型证明三维Ghys猜想

中国团队用自研大模型 S2 拿下了困扰30年的 Ghys 猜想，北大团队还做了形式化验证，代码都开源了，数学+AI的人值得看看。

#书生-S2 #上海人工智能实验室 #SHEAF #数学推理

IT之家原文

7月23日

太初元碁携手上海人工智能实验室举办AI4S与算子优化赛

太初元碁和上海AI实验室办了AI4S算子优化比赛，搞科学计算和模型优化的朋友可以冲一下。

#太初元碁 #上海人工智能实验室 #AI4S #算子优化

量子位@量子位的朋友们原文

5月17日

论文精选73°00:33

我国团队用AI造出200微米单晶石墨，厚度达世界纪录3倍

做材料科学或AI辅助研发的团队值得关注——这项研究用AI把单晶石墨厚度做到世界纪录3倍，从数据到模型到实验的全链条智能化路径可以直接借鉴。

#AI辅助材料研发 #单晶石墨 #机器学习势函数 #上海人工智能实验室

IT之家原文