12月24日消息，Quest Mobile发布的《2025下半年AI应用交互革新与生态落地报告》显示，中国下半年新上线AI应用共205个，其中，应用插件（In-App AI）占比达81.5%，PC端网页应用占比10.7%，原生App占比7.8%。AI图像处理与AI专业顾问是下半年热门赛道；AI搜索与AI综合助手虽已形成近7亿规模用户池，仍吸引新玩家突破性入局争夺流量入口。 最新统计周期内（12月8日至12月14日），周活跃用户规模Top10的AI APP中，有6个通用AI，4个垂类场景的专业AI，形成了通用和垂类AI分庭抗礼的格局。豆包的周活跃规模达到了1.55亿，DeepSeek、元宝分别为8156万、2084万。蚂蚁阿福App、灵光App周（12.08-12.14)活跃用户规模分别达1025.4万和295.2万，位列下半年新上线原生App第一、第二。（广角观察）

据网信北京最新通报，截至12月24日，北京市当日新增完成备案的生成式人工智能服务共2款，全市该类服务备案总量已达205项。

12月24日电 近日，字节跳动Seed实验室宣布正式发布专为形式化数学推理设计的新型模型Seed Prover 1.5。该模型在性能上实现重大突破：针对国际数学奥林匹克竞赛（IMO）2025预选赛前五道题目，在16.5小时内自动生成了可通过Lean验证系统的完整证明代码，并以35分（满分42分）的成绩达到IMO金牌分数线标准。目前该技术方案已通过学术论文公开，并计划逐步开放API接口，邀请全球数学研究者及AI领域学者参与模型测试与应用探索。（广角观察）

12月24日消息，截至12月24日，上海市新增9款已完成登记的生成式人工智能服务，累计已完成139款生成式人工智能服务登记。（网信上海）

12月24日电 普利策奖得主兼调查记者约翰·卡雷鲁等多名作家在美国加州北区联邦地区法院联合发起版权侵权诉讼。该诉讼指控Anthropic、谷歌、OpenAI、Meta、xAI及Perplexity等六家人工智能企业存在"蓄意窃取"行为。原告指出其著作未经许可即被纳入价值数十亿美元的人工智能产品体系核心架构。若侵权性质被认定为蓄意为之，则每部受侵害作品可获最高达15万美元的法定赔偿。（广角观察）

12月23日快讯，由清华大学人工智能团队孵化的衢州分音塔科技有限公司（以下简称"分音塔科技"）宣布完成近亿元人民币A轮融资。本轮融资由合鼎共投资（广州）有限公司与衢州智造安合股权投资合伙企业（有限合伙）联合注资。据公司创始人兼CEO关磊介绍，本轮募集资金将重点投入老年健康陪护机器人、家庭智慧养老安防系统及人工智能翻译技术的研发领域。未来企业战略将聚焦AI+银发经济赛道，致力于以人工智能技术破解中国乃至全球超10亿老年人群的居家养老难题。（创投家CLUB）

12月23日消息，面壁智能宣布已于近期完成数亿元融资。本次融资由京国瑞、国科投资、中金保时捷基金、米聚资本与和基投资共同参与，募集资金将主要用于加大端侧高效大模型的研发投入。（创投家CLUB）

12月23日消息，北京人形机器人创新中心近日正式开源面向具身小脑能力的XR-1模型，以及为XR-1等模型提供数据训练支持的RoboMIND 2.0和ArtVIP。其中，XR-1是中国首个且唯一通过具身智能国标测试的具身VLA（视觉-语言-动作）大模型。基于以上开源成果，能让机器人真正在各类应用场景中能干活、会干活，推动中国具身智能行业迈向“全自主、更好用”的新阶段。（广角观察）

12月23日快讯，智元公司正式推出擎天租机器人租赁平台，致力于将原本门槛较高的机器人应用领域转化为类比共享充电宝的便民租赁模式。该平台支持用户通过线上商城一键提交租赁需求并完成下单，在线获取全流程服务保障。据规划显示，至2026年擎天租将构建起覆盖10家以上机器人本体厂商、200家优质服务商、3000名内容创作者及40万注册用户的产业生态体系。（广角观察）

12月23日消息，智谱发布新一代旗舰模型GLM-4.7。据了解，GLM-4.7面向Coding场景强化了编码能力、长程任务规划与工具协同，并提升聊天、写作与角色扮演等方面的综合性能。（广角观察）