Emergence AI 将神经形式化 AI 推向无晶圆厂芯片厂商
Emergence AI 正把其神经形式化 AI 技术推向无晶圆厂半导体公司的实际部署，用 LLM 提出方案、符号 AI 验证，给出可证明正确的答案。该技术通过分析晶圆与终测数据定位良率异常根因，并已开始切入先进封装，用有限元和多尺度物理仿真排查 CTE 失配等问题。公司计划两年内将工程师与研发科学家扩充至 500 人，印度业务聚焦半导体。
#Agent
#Agent
今日 1 条EE TimesAI 评分3838
NVIDIA Blog精选AI 评分6262 CoreWeave 上线 NVIDIA Vera Rubin NVL72，Cognition 成首个生产客户
CoreWeave 宣布在 CoreWeave Cloud 提供 NVIDIA Vera Rubin NVL72 系统与 Spectrum-X 102.4T 以太网，成为较早交付该平台的云厂商之一，Cognition 是首个在 Vera Rubin 上跑生产负载的客户。
推荐理由：CoreWeave 上线 Vera Rubin NVL72 并公布 Devin 实测吞吐数据，可据此判断智能体编码负载的算力走向。
Tom's HardwareAI 评分6262 Synopsys 发布 Autopilot 平台，用 AI 智能体自主开发芯片
Synopsys 发布 AgentEngineer 解决方案组合，基于新的 Autopilot 平台，覆盖验证、系统验证、实现、模拟与混合信号设计、制造、仿真与分析六个领域，公司称已有 50 多个客户合作项目在进行，计划 2026 年底正式可用。
NVIDIA Developer BlogAI 评分4242 NVIDIA Vera Rubin 与 Blackwell 为智能体 AI 每瓦性能树立新标准
NVIDIA 称 Vera Rubin 与 Blackwell 为智能体 AI 的每瓦性能树立新标准。OpenRouter《State of AI》报告基于 100 万亿 token 的真实使用数据发现，平均每请求提示词 token 量增长约四倍，反映 AI 智能体推理已从单轮交互扩展为多步工作流。
NVIDIA Developer BlogAI 评分4242 NVIDIA BlueField-4 为智能体 AI 工厂提供新型 Scale-In 网络基础设施
NVIDIA BlueField-4 面向智能体 AI 工厂提供新型 Scale-In 网络基础设施，用于支撑每服务器多太比特带宽下的线速网络、存储与安全处理。传统云基础设施面向可预测的通用工作负载和标准接口设计，而智能体 AI 工厂需连接多样用户、智能体、应用、数据源与存储系统至大规模加速计算，因此专用 DPU 处理成为必需。
NVIDIA Developer BlogAI 评分2222 NVIDIA Vera CPU 如何解决智能体 AI 集群难题
NVIDIA 指出，智能体 AI 负载高度不可预测且波动大，与传统计算稳定的运行时特征不同。在 AI 工厂中，GPU 负责运行模型，CPU 则承担编排、工具执行与沙箱计算，集群经济性取决于整栈将电力与资本转化为已完成智能体任务的效率。