字节 Seed 发布最强数学模型：一招“打草稿”，IMO 银牌变金牌
来源：鱼羊
发布时间：2025-12-25
摘要：字节跳动旗下 Seed 团队发布数学推理专用模型 Seed Prover 1.5，通过引入 Agentic Prover 范式和 Sketch Model 技术，显著提升了形式化数学推理能力，在国际数学奥林匹克竞赛（IMO）中斩获 35 分，达到金牌标准。该模型支持“草稿纸”式推理，可调用 Mathlib 工具和 Python 执行代码，实现基于引理的增量验证，标志着人工智能在复杂逻辑推理领域的重要突破。关键成果：IMO 金牌水平，与谷歌 Gemini 模型持平。
AWS 和 Google Cloud 预览安全多云网络
来源：Renato Losio
发布时间：2025-12-25
摘要：AWS 与 Google Cloud 联合推出安全多云网络预览版，利用 AWS Interconnect - Multicloud 与 Google Cross-Cloud Interconnect 技术，提供私密、高速且加密的跨云连接。该方案简化了精细化网络管理，定义开放互操作标准，支持未来扩展至 Azure 等更多云平台。尽管当前定价未公布，但该协作极大提升了分布式工作负载的运营管理效率，为多云环境下的企业数字化转型提供新范式。
ML Kit Prompt API｜赋能设备端 Gemini Nano，打造专属定制体验
来源：谷歌开发者
发布时间：2025-12-25
摘要：谷歌正式发布 ML Kit GenAI Prompt API Alpha 版本，使开发者能直接在 Android 应用中利用 Gemini Nano 实现低延迟、高隐私的生成式 AI 功能。该 API 与传统预构建 API 不同，提供更高灵活性，支持自定义复杂用例，涵盖图像理解、智能文档扫描、内容提示与情感分析等。其设计理念是构建“设备端 AI 原生体验”，强调数据私密性与用户体验，推动生成式 AI 在边缘设备的深度应用。
英伟达史上最大收购！黄仁勋豪掷 200 亿美元收购 Groq，野心瞄准 AI 推理市场！
来源：51CTO技术栈
发布时间：2025-12-25
摘要：英伟达宣布以 200 亿美元收购 AI 芯片初创公司 Groq，核心目标是获取其低延迟 LPU 推理芯片技术及顶尖人才团队。Groq 由 Google TPU 前核心架构师 Jonathan Ross 创立，专注 LPU 芯片研发，其产品在处理大语言模型推理时具备低延迟、高吞吐与低能耗优势。此次收购是英伟达强化 AI 推理市场领导地位的战略举措，旨在弥补自身在推理领域的结构性短板，未来有望整合优化其 AI 工厂架构，直接挑战谷歌 TPU。
闻泰科技杨沐：进一步外采晶圆，正在与客户进行晶圆测试与认证
来源：未知
发布时间：2025-12-26
摘要：闻泰科技董事长杨沐在股东大会上表示，面对安世荷兰对安世中国断供晶圆的情况，公司正积极拓展外采供应商资源，并与多家企业开展晶圆测试与认证工作。此次应对旨在保障公司核心产品供应链稳定，避免因外部供应中断影响生产与交付。该举措是闻泰科技在面临国际供应链压力下的关键战略调整，彰显其在半导体产业链中的韧性与抗风险能力。
Orion：全新零遥测、零广告、无 AI 浏览器，专为注重隐私的用户打造
来源：Bruno Couriol
发布时间：2025-12-25
摘要：由 Kagi 推出的 Orion 1.0 浏览器是一款专为隐私保护设计的 WebKit 浏览器，实现零遥测与无广告追踪。其核心设计亮点是主动排除 AI 功能，以此减轻因 AI 集成带来的安全风险（如隐藏 API 访问与提示注入攻击），提高浏览器安全性。相比集成 AI 的“智能”浏览器，Orion 更注重架构边界控制，允许用户在安全的前提下选择性添加 AI 能力，为用户提供了更高的控制权与安全信任。
顶刊TPAMI｜多模态视频理解领域重磅数据更新：MeViSv2发布
来源：机器之心
发布时间：2025-12-26
摘要：复旦大学、上海财经大学与南洋理工大学联合发布多模态视频理解新数据集 MeViSv2，已获 IEEE TPAMI 期刊录用。该数据集聚焦复杂动作推理，包含 2,006 个视频、8,171 个目标及 33,072 条文本/音频表达，新增 15 万秒音视频数据，构建了更丰富的“行为-描述”对齐样本。MeViSv2 作为该领域最具代表性的基准之一，旨在挑战模型在跨模态理解与长序列语义推理上的极限，推动多模态 AI 模型向更深层次发展。
鲁豫对话鸿蒙开发者：把兴趣写进系统里的年轻人
来源：未知
发布时间：2025-12-25
摘要：在鸿蒙生态体验官陈鲁豫的深度对话中，展现了无数青年开发者如何将个人兴趣融入鸿蒙系统创新的生动图景。他们从记录日出、播客创作到旅行规划，将小众需求转化为独特应用形态，构建起高度个性化的数字生活。鸿蒙以“多终端全场景”操作系统的定位，为这些“小而美”的创造提供了广阔舞台，营造出“每个需求都被看见、每个创造都被珍视”的创新氛围，成为年轻技术人才探索与实践的核心平台。
Cactus v1：移动设备上的零延迟、全隐私跨平台大型语言模型推理
来源：Sergio De Simone
发布时间：2025-12-24
摘要：Y Combinator 支持的初创公司推出 Cactus v1，专为手机、可穿戴等低功耗设备提供跨平台 LLM 推理解决方案。其核心优势是实现低于 50 毫秒的首次生成延迟，完全消除网络延迟，并通过设备端推理保障用户隐私。该引擎兼容通义千问、Gemma、Llama 等主流模型与多种量化级别，支持模型版本控制、OTA 更新及工具调用，性能超越平台原生方案，为移动端生成式 AI 提供了强大的底层能力。
灵巧手企业曦诺未来Xynova完成超亿元天使轮融资
来源：新闻资讯
发布时间：2025-12-26
摘要：杭州灵巧手企业曦诺未来（Xynova）完成超亿元天使轮融资，由宁德时代旗下溥泉资本领投，小米战投、正轩资本等跟投。本轮融资将用于核心产品迭代、团队建设与量产落地。公司聚焦高自由度灵巧手、微型电缸与核心关节模组，拥有从电机、电控到减速器的完整自研自产能力。其产品 Xynova Flex 1 拥有 25 个自由度，自重仅 380 克，负载能力超 30 公斤，综合性能处于行业领先，是目前市面上最轻且最有力的高自由度灵巧手之一。
No-Vary-Search：用一个新 HTTP 头拯救你的缓存性能！
来源：前端早读课
发布时间：2025-12-25
摘要：No-Vary-Search 是一个新提出的 HTTP 响应头，旨在解决因 URL 参数导致的缓存效率低下问题。它允许服务器明确告知 CDN 或浏览器，哪些查询参数不影响页面内容，从而避免因参数微小变化导致的缓存失效。该标准化方案可有效提升网站性能与用户体验，尤其适用于包含大量追踪参数（如 UTM）的网站。其四种工作模式（忽略参数顺序、忽略所有参数等）为开发者提供了灵活的缓存管理策略。
2025 年 AI 盘点：15 大名场面
来源：硅星人Pro
发布时间：2025-12-25
摘要：文章盘点了 2025 年 AI 领域的 15 个标志性事件，涵盖技术、市场与地缘政治层面。包括 DeepSeek-R1 对美股的冲击、Anthropic CEO 对中国 AI 的言论、国内“AI 眼镜”爆发、OpenAI 强制下架 GPT-4o 引发用户争议、苹果在 AI 领域的“沉默”、具身智能公司融资现象等。这些事件共同描绘出 AI 领域竞争加剧、格局重塑、地缘博弈与商业落地并行的复杂图景，展现出年度跌宕起伏的全貌。
无需再训练微调，一个辅助系统让GPT-5.2准确率飙到创纪录的75%
来源：机器之心
发布时间：2025-12-25
摘要：AI 推理系统初创公司 Poetiq 表示，其辅助系统（meta-system）在不训练或微调任何 LLM 的前提下，使 GPT-5.2 X-High 在 ARC-AGI-2 测试集上准确率高达 75%，相比之前 SOTA 提升约 15%。该成果表明，决定 AI 性能上限的关键因素正从底层模型本身，转向“推理编排”（Orchestration）等外围系统。通过智能任务规划与工具调用，该系统实现了性能的“原地暴涨”，为通用人工智能（AGI）研究提供了新范式：构建强大的智能代理系统，而非仅优化模型本身。