字节推出SeedProver1.5；MiniMax更新M2.1模型；腾讯音乐旗下AI“未音VEMUS”启动内测|极新早报

—— ·要点速览· ——

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

2、MiniMax 更新 M2.1 模型，重点聚焦于更多编程语言和办公场景的可用性

3、腾讯音乐旗下AI音乐创作工具“未音VEMUS”启动内测

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

更聚焦的科技行业交流群，捕捉每一条科技动态，诚挚邀请创业者、发烧友加入我们。微信扫码进群：

进群后，你有机会得到：

• 最新、最热的科技资讯；
  

• 最精准的行业资源对接；
  

• 论坛、沙龙、企业游学门票。

1、医用磁共振成像备核心部件研发商「健信超导」完成7.79亿元IPO融资，公开发行。

健信核磁是一家医用磁共振成像备核心部件研发商，专注于医用磁共振成像（MRI）设备核心部件的研发、生产和销售，致力于提供高质量永磁磁共振成像磁体、超导磁共振成像磁体、磁共振成像配套梯度线圈和匀场线圈、高场科研用磁共振成像磁体以及波谱分析磁体、磁共振整机集成解决方案、超导技术在电力系统的应用等方向的产品。

2、桌面级激光加工设备研发商「壹粟创新ACCELaser」完成1亿元Pre-A轮融资，投资方为同创伟业，元钛基金，协立投资。

壹粟创新ACCELaser是一家桌面级激光加工设备研发商，深耕激光技术与智能硬件研发领域，具备丰富的3D打印与激光设备研发经验。公司旗舰产品ACCELaser HD1系列作为全球首款集成“双激光+3D飞行振镜系统”的桌面级激光设备，凭借突破性技术创新赢得市场广泛认可。

3、具身智能机器人研发商「格松科技」完成1亿元股权融资，由昆仲资本、英诺天使基金领投。

格松科技是一家具身智能机器人研发商，是专注于具身智能领域研发与量产的创新型企业。公司始终坚守“用机器人改变世界，让机器人走进千家万户”的核心使命，以技术创新为核心发展引擎，深耕具身智能赛道，致力于构建产值超千亿元的具身智能产业生态。

4、计算光刻技术解决方案商「驰光铭图」完成A轮融资，由上海知识产权基金领投。

驰光铭图是一家计算光刻技术解决方案商，公司聚焦计算光刻正向仿真与逆向优化算法开发，致力于国产化计算光刻系统设计与推广，为半导体制造领域提供高精度光刻仿真与优化解决方案，推动产业链自主创新。公司围绕高性能光刻严格仿真和光学邻近效应校正（OPC）两大方向，已开发出多款核心产品，主要应用于半导体集成电路制造、平板显示器件生产、汽车电子、先进存储器制造等重要产业。

5、高端半导体光电芯片设计和制造商「德融科技」完成股权融资，投资方为中肃资本。

德融科技是一家高端半导体光电芯片设计和制造商，主要从事砷化镓光电芯片（包括太阳能电池、激光器、LED等）相关技术开发，公司核心产品高效率柔性薄膜砷化镓太阳电池，可广泛应用于航空航天、物联网及太阳能汽车等领域。

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

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

2、腾讯音乐旗下AI音乐创作工具“未音VEMUS”启动内测

12月24日消息，腾讯音乐旗下AI音乐创作工具 “VEMUS 未音”宣布，已在全网各平台同步开启内测。作为AI化的一站式创作工具，VEMUS 未音整合了写歌、作曲、编曲、填词、翻唱伴奏制作等核心能力，同时覆盖Beat创作、说唱生成、电子音乐Remix等细分场景。据了解，其核心特色是 “低门槛 + 多模态”，用户只需通过对话、文字灵感、歌词甚至图片，就能生成不同曲风的作品。同时，产品还内置AI音乐社区，支持作品分享、热歌排行、内容畅听等功能。（创投家CLUB）

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

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

1、MiniMax 更新 M2.1 模型，重点聚焦于更多编程语言和办公场景的可用性

12 月 24 日消息，MiniMax 昨日宣布为其 MiniMax M2 开源模型推出 M2.1 版本更新。此次更新致力于提升真实世界复杂任务中的表现：重点聚焦于更多编程语言和办公场景的可用性。

MiniMax-M2.1 的具体亮点如下：系统性提升了 Rust / Java / Golang / C++ / Kotlin / Objective-C / TypeScript / JavaScript 等非 Python 语言的能力；显著加强了原生 Android / iOS 开发能力，系统性提升了模型在 Web 与 App 场景中的设计理解与美学表达能力；系统性问题解决能力再次升级，关注对“复合指令约束”的整合执行能力，在真实办公场景具备更高的可用性；模型回复以及思维链更加简洁，在实际编程与交互体验中响应速度显著提升、Token 消耗明显下降；在各类编程工具与 Agent（智能体 / 代理）框架中均有出色表现；在日常对话、技术说明与写作场景中，也能提供更具细节与结构性的回答。基准测试表现方面，MiniMax-M2.1 相比于 M2 有了显著提升：多语言 SWE-bench 场景接近 Claude Opus 4.5、内部开发的 VIBE 测试集上接近 Claude Opus 4.5。（IT之家）

“ 大模型“赚钱”的两条路。”

朋友，来这场峰会瞅瞅。

更多干货分享敬请注我们的公众号与视频号~超多精彩对话内容等待您的解锁！