挑战AI数学推理极限,大规模形式化数学基准FormalMATH发布,最强模型成功率仅16%
对话Harvey AI产品主管:三大高增长AI独角兽的产品方法论
跌出前五是转型代价?高层大换血后,荣耀或将再度绝地还击
人工智能人力资源相关流程平台Skillvue 获得 630 万美元融资
科普百人团——科技教育乡村行·广西大化瑶族自治县公益活动明日开启!
精灵数据客服小助手