HBM之父：HBM的终点是HBF

韩国SK海力士宣布完成HBM4开发，它将成数据中心和AI芯片首选。HBM4有出色数据处理速度和能效，应用后AI服务性能或提升69%。HBM之父金正浩教授预测，未来HBF将取代HBM，还提出金氏定律指导行业发展。

一场对话，我们细扒了下文心大模型背后的技术

信通院大模型推理能力评估中，文心X1 Turbo获最高级“4+级”。百度AI Day上，副总裁吴甜解析文心4.5 Turbo和文心X1 Turbo，从多模态、深度思考等方面介绍技术，还展示其在多场景应用成果。

用2D数据解锁3D世界：首个面向运动学部件分解的多视角视频扩散框架

张昊等提出 Stable Part Diffusion 4D (SP4D) 框架，由 Stability AI 与 UIUC 联合完成。它能从单目视频生成多视角 RGB 与运动学部件序列，解决运动学部件分解及自动 rigging 问题，实验效果显著，被 Neurips 2025 接受为 Spotlight。

TPU vs GPU 全面技术对比：谁拥有 AI 算力最优解？

SemiAnalysis对Google TPU v7/v8深度拆解，将TPU与Nvidia GPU多方面对比拆到可计算层面。不过其结论有局限性，本文重新分析，指出TCO因场景而异，互联体系分歧在流量假设，Google TPU v8成本优势被削弱。

OpenAI首个蛋白质模型披露更多细节，改进诺奖研究成果，表达量提升50倍

OpenAI与Retro Bio合作开发的GPT‑4b micro，是专为蛋白质工程设计的GPT-4o微型版本。它改进诺奖获奖蛋白变体，将干细胞重编程标记物表达量提升50倍，还能减少DNA损伤，研究团队公布更多突破细节。

离职特斯拉“隐身”14个月，杨硕创业终于亮牌：重新定义机器人训练范式

杨硕从特斯拉擎天柱团队离职创业一年多后，妙动科技团队带来新论文《DiT4DiT: Jointly Modeling Video Dynamics and Actions for Generalizable Robot Control》。该团队用视频训练机器人动作，提出DiT4DiT模型，解决VLA模型不懂物理问题，在人形机器人上有新突破。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

AI看病成为医患新包袱？补上「多轮追问」，通用AI才迈得过医疗关

如今患者依赖AI问诊加重医患沟通负担。百川智能推出的Baichuan - M4对通用大模型做结构性重构与医疗专项增强。M4在能力结构上升级，其C端产品百小医能与患者深度建联，有望构建医疗健康新生态。

当国产模型追上闭源旗舰，企业 AI 编程的真正障碍才浮出水面

过去企业AI Coding讨论多集中在模型能力等方面，DeepSeek V4出现缓解了模型问题，但更深层的代码库业务隐知识等问题浮现。合规限制使企业工具建设受阻，V4打破了模型供应瓶颈，可组织知识管理仍成难题。

DeepSeek-R2尚未问世，微软小模型捡漏称王？6000样本炼出「数学作弊器」！

微软推出Phi-4推理模型系列，参数最多14B，能在本地高性能笔记本电脑上流畅运行。Phi-4-mini-reasoning在数学推理上性能超越DeepSeek-R1蒸馏模型，且参数规模更小。文章还介绍了模型特点、训练方法、性能表现及局限性等。