2025 年 12 月 25 日消息，昨夜今晨，科技圈都发生了哪些大事？行业大咖抛出了哪些新的观点？ 《科技速递》即刻为您梳理关键资讯：

2025 云厂商大模型中标成绩出炉，百度智能云中标项目数和中标金额最多

12 月 23 日，根据公开招标信息整理统计，2025 年 1-11 月，中国主流云厂商大模型相关中标项目累计达 291 个，中标金额突破 21 亿元。其中，百度智能云以 95 个中标项目和 7.1 亿元中标金额，成为中标项目数和中标金额最多的云厂商。 ( 36 氪 )

北京市机器人产业协会将于 12 月 26 日成立

北京市机器人产业协会将于 12 月 26 日成立。协会由中国电子信息产业发展研究院 ( 赛迪研究院 ) 、北京人形机器人创新中心有限公司等多家单位联合发起成立。 ( 上证报 )

三星、SK 海力士上调明年 HBM3E 价格，涨幅近 20%

据韩媒报道，三星电子、SK 海力士等存储供应商已上调明年 HBM3E 价格，涨幅接近 20%。一般而言，在新一代 HBM 产品面世之前，供应商往往会下调前一代产品价格，因此本次涨价在业内较为罕见。 ( 财联社 )

字节推出形式化数学推理专用模型 Seed Prover 1.5

字节跳动 Seed 团队宣布推出形式化数学推理专用模型 Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。Seed Prover 1.5 的技术报告已对外公开，后续将开放 API，邀请感兴趣的数学和 AI 研究者体验该模型。 ( 36 氪 )

当前模型已展现出强大的竞赛级解题能力，但距离辅助前沿数学研究，仍需突破文献理解、跨领域推理等核心难题。不过其技术路径已验证，通过强化学习与形式化环境的结合，AI 有望成为人类探索数学真理的重要协作伙伴。

猿辅导素养课发布新一代 "AI 课堂 2.0"

12 月 24 日，猿辅导素养课正式发布新一代 "AI 课堂 2.0"。猿辅导素养课负责人孙小炎表示，经 AI 赋能，学生学习效率提升 20%，留存率提升 10%，满意度提升 37%。 ( 36 氪 )

英伟达称并未收购人工智能芯片初创公司 Groq

英伟达称并未收购人工智能芯片初创公司 Groq，仅为技术许可安排。此前据媒体报道，英伟达拟以约 200 亿美元收购 Groq。 ( 财联社 )

阿里升级新一代语音模型 Qwen3-TTS，可参考文字、声音生成拟人音色

12 月 24 日，阿里升级语音模型家族 Qwen3-TTS，发布音色创造 Qwen3-TTS-VD ( VoiceDesign ) 和音色克隆 Qwen3-TTS-VC ( VoiceClone ) 两款全新模型。Qwen3-TTS 新模型可实现 DIY 声音设计和像素级音色模仿，甚至让动物 " 原生 " 开口说人话，音色自然、效果稳定、生成高效，可加速语音大模型在有声小说、AI 漫剧、影视配音等多专业领域落地。 ( 36 氪 )

技术突破的同时，也需要关注音色克隆可能带来的身份冒用、版权纠纷等问题，未来需建立完善的技术规范和监管机制。但整体而言，这两款模型的发布，不仅展现了阿里在 AI 语音领域的技术实力，更推动语音合成从工具属性向创作赋能升级。

科大讯飞在山东成立新公司，含 AI 及集成电路业务

爱企查 App 显示，近日，山东沂讯信息科技有限公司成立，法定代表人为柳升华，注册资本 5000 万元人民币，经营范围包括人工智能公共服务平台技术咨询服务、集成电路设计、人工智能基础软件开发等。股东信息显示，该公司由科大讯飞股份有限公司全资持股。 ( 36 氪 )