挑战AI数学推理极限,大规模形式化数学基准FormalMATH发布,最强模型成功率仅16%
2024年报专题:AI+人形机器人,理想照进业绩的距离有多远
5800万用户证言:FTTR不是“伪需求”
总投资超110亿元,18个产业项目签约落地成都东部新区
凝“新”聚力|吉林筑石产业园妇联搭建全方位、多层次妇女发展支持体系
精灵数据客服小助手