AI新闻快讯（2025.12.24-25）

全球AI领域在24 – 25日迎来技术突破与产业整合双高潮，字节跳动数学推理模型刷新国际竞赛纪录，英伟达拟收购Groq强化芯片霸权，巨头动向与垂直领域创新共同塑造行业新格局。

字节跳动发布Seed Prover1.5 数学推理能力达IMO金牌水平

12月24日，字节跳动Seed团队推出新一代形式化数学推理专用模型Seed Prover 1.5，通过大规模Agentic RL训练实现推理能力跃升。该模型在16.5小时内完成IMO 2025前5道题的完整Lean证明，换算成绩35/42达金牌分数线，较上一代银牌表现实现突破。在北美Putnam数学竞赛中，模型9小时内解决11道题，历史题库解决率达88%，硕士级Fate – H数据集解决率80%，刷新多项SOTA纪录。技术报告已公开，API将向研究者开放。

英伟达确认收购AI芯片公司Groq 强化算力霸权

12月25日，英伟达宣布以约38亿美元收购AI芯片初创公司Groq，交易预计2026年Q2完成。此次收购将获得Groq的LPU架构及150人工程师团队，其中包括前Google TPU核心研发人员。《金融时报》消息显示，除现金交易外，英伟达还将向Groq股东发行2.3%的限制性股票。收购完成后，Groq数据中心业务将并入英伟达加速计算部门，但其客户定制芯片业务将保持独立运营。

《2025全球AI创造力发展报告》发布中国AI专利占比达42%

12月24日，国声智库联合中国传媒大学发布《2025全球AI创造力发展报告》。数据显示，2024年全球AI核心产业规模达1.8万亿美元，中国贡献42%的AI专利申请量，其中生成式AI相关专利同比增长217%。报告特别指出，AI创造力指数TOP10企业中，中国公司占据4席，字节跳动、华为、腾讯、百度分列第3、5、7、9位。但在基础理论突破方面，北美机构仍占主导，包揽87%的顶级AI期刊论文引用量。

OPPO姜昱辰：2026年AI手机将实现端侧大模型实时交互

12月25日，OPPO副总裁姜昱辰在”AI终端创新论坛”上披露公司AI战略路线图。他表示，OPPO下一代Find X7系列将搭载自研Marisilicon X4芯片，实现70亿参数大模型的端侧本地化运行，支持实时语音翻译、图像创作等12类AI功能。姜昱辰强调：”2026年的AI手机必须解决三大痛点——隐私保护、离线运行、低功耗，我们的目标是让AI交互延迟控制在200毫秒内，功耗降低60%。”

Meta启动垂直领域AI模型计划首批聚焦医疗教育

据Meta内部备忘录显示，公司已启动”垂直智能”战略，计划未来18个月推出12个行业专用AI模型。首批落地医疗和教育领域：医疗模型将支持医学影像分析、药物相互作用预测；教育模型则专注个性化学习路径规划。与通用大模型不同，垂直模型采用模块化架构，可根据企业需求灵活调整参数规模。Meta AI负责人Jerome Pesenti透露，已与梅奥诊所、可汗学院达成数据合作，模型训练数据量达1.2万亿tokens。