挑战AI数学推理极限,大规模形式化数学基准FormalMATH发布,最强模型成功率仅16%
2024年报专题:AI+人形机器人,理想照进业绩的距离有多远
纺织业的AI变迁
比五一档“倒退十年”更可怕的,是年轻人正在抛弃电影?
华为招聘:未与任何第三方开展过任何形式的实习合作
精灵数据客服小助手