周末催化：
1.智元发布国内首款智能助行外骨骼机器人“踏山”，央视报道五一泰山景区登山机器人
2.离岸人民币兑美元升穿7.20关口
4.七部门联合发布《终端设备直连卫星服务管理规定》
5.用小型核反应堆给数据中心供电 国内企业正在开展项目论证
6.苹果将与Anthropic合作开发AI平台编写软件
7.30日盘后，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。根据目前公布的信息，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署。从命名上看，这款参数高达 6710 亿的模型可能是去年发布的数学 AI 模型 Prover-V1.5 的升级版。
10.据外媒报道，华为已成功向受美国出口限制影响、无法采购英伟达AI芯片产品的国内客户，交付了先进的AI芯片集群——CoudMatrix 384，并且收获了客户不断增加的订单。