Emergence AI 将神经形式化 AI 推向无晶圆厂芯片厂商
Emergence AI 正把其神经形式化 AI 技术推向无晶圆厂半导体公司的实际部署，用 LLM 提出方案、符号 AI 验证，给出可证明正确的答案。该技术通过分析晶圆与终测数据定位良率异常根因，并已开始切入先进封装，用有限元和多尺度物理仿真排查 CTE 失配等问题。公司计划两年内将工程师与研发科学家扩充至 500 人，印度业务聚焦半导体。
#开源生态
#开源生态
今日 1 条EE TimesAI 评分3838
The Decoder精选AI 评分7878 DeepSeek 联合华为为昇腾芯片发布开源编程工具
DeepSeek 与华为合作为昇腾芯片打造编程工具并全部开源，核心是比 CUDA 更易上手的 TileLang 语言，该语言最初由北京大学研究人员开发，DeepSeek 已使用约一年。双方还优化了由 128 颗昇腾 950 芯片组成的超级节点，华为称对该工作提供了全面支持。DeepSeek 认为，为 AI 芯片建立独立软件生态首先需要一门易编程又能发挥硬件全部性能的通用语言。
推荐理由：DeepSeek 与华为在昇腾芯片上开源编程工具，读者可了解国产芯片软件生态补短板的路径与进展。
雷峰网精选AI 评分7878 DeepSeek 开源 TileLang 等算子工具链，原生支持华为昇腾 950
DeepSeek 将 TileLang 算子开发工具链及 DeepGEMM、DeepEP、FlashMLA、TileKernels、DeepSelect 五大计算与通信库推出昇腾版本，TileLang 官宣原生支持华为昇腾 950 NPU。
推荐理由：DeepSeek 把算子工具链铺到昇腾，读者可据此了解国产算力在软件栈层面的适配进展与迁移难点。
NVIDIA Developer BlogAI 评分5050 NVIDIA 推出 CUDA Rust：两条路径编写 GPU 内核
NVIDIA 宣布推出 CUDA Rust，为 Rust 提供两条编写 GPU 内核的路径，并计划将其持续发展和成熟至 2027 年及以后。CUDA C++ 与 CUDA Python 已是成熟的企业级工具链，CUDA Rust 面向推理引擎、服务基础设施、驱动和智能体运行时等频繁变化的 AI 系统层。