上汽集团首个人形机器人投入产线
智东西3月25日消息，昨日，美团龙猫（LongCat）团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。 从自动形式化、草稿生成到最终的形式化证明，LongCa…
雷军：未来三年AI领域计划投入至少600亿元
元点智能发布全新协作机器人N1：首创异构机械臂组结构 模拟人类左右分工
澳大利亚严令AI平台实施年龄验证，违者或将被搜索和应用商店屏蔽
联想MWC 2026展示AI伴侣产品：一双“大眼睛”能投影，还可扫描文档并转成PPT
在李想看来，汽车的终极形态就是机器人
智元全新一代全尺寸人形机器人远征A3亮相：会“功夫”，号称文武双全
11/10 12:13
11/10 12:11
11/10 12:10
11/10 10:19
11/10 10:18
11/10 10:09
11/10 10:08
京公网安备 11011402013531号