调研窗口：2026-10-23 05:00 ~ 2026-10-26 05:00（北京时间，72 小时；接续上一期日报截点，覆盖周末两天）。

信源：Google News 聚合（中英文 22 组补充查询，走代理）、Hacker News、Phoronix、CNX Software、LinuxGizmos、riscv.org、openRuyi 官网新闻页与主仓、RISC-V 国际基金会会员企业官网巡检（391 家），以及 GitHub（香山 XiangShan／NEMU／difftest／GEM5／XSCache、达摩院玄铁、奕斯伟、算能、芯来、乐鑫、进迭时空与 spacemit-robotics、矽速、revyos、openRuyi-Project、Radxa Linkr、OpenHW 等组织与重点仓库的推送、提交与发布检索）。

本期索引

  • 今日重点：Claude 把形式化验证推到 RISC-V 机器码，123 个开源库拿下 1.8 亿行证明（10-23）
  • 一、开源社区与软件生态
    • openRuyi：20 笔提交，Go 服务端软件包批量入库（10-23）
    • 香山：NEMU 连发两个标签，difftest 用 Tensor Cores 跑 MMA 比对（10-23）
    • CVA6 的 master 转为只读，CVW 合入 Sail 0.16（10-23）
  • 二、产品与生态动态
    • Tenstorrent 开放 Chiplet 设计框架 OCA Harness 测试版（10-23）
    • LILYGO T-Halow P4：ESP32-P4 与 C6 双 RISC-V 核的 M.2 板卡（10-23）
  • 三、国内团队深挖
    • 优智创芯近亿元 Pre-A 融资，「全赢芯」RISC-V GPGPU 落地长沙金霞（10-22）
    • 奕行智能成为 RVAI 工作组首批发起单位，RISC-V 超节点已在运营商机房上线（10-23）
    • 合见工软：RISC-V 的「分水岭」时刻，国产 EDA 要做生态共建者（10-23）
    • 睿思芯科谭章熹：二三十家高性能 RISC-V 将洗牌，生态权重高于核性能（10-23）
    • 算能 zsbl 重构为 eboot 框架，支持外部设备树与应用树（10-23）
  • 四、具身智能与机器人专章
    • 进迭时空开源端侧 Agent 记忆子系统，BiBit 同步放出记忆插件（10-23）
    • 睿芯高光 D35 的学术底色：ISCA 2026 最佳论文提名与 80 余项数据流专利（10-23）
  • 五、总结与趋势观察

今日重点：Claude 把形式化验证推到 RISC-V 机器码，123 个开源库拿下 1.8 亿行证明

日期：2026-10-23　来源：36氪：Claude 狂写 1.8 亿行证明，万亿次测试漏掉的 Bug 被 AI 一锅端（10-25）、腾讯新闻（新智元）：Claude 狂写 1.8 亿行证明（10-23）、搜狐（DoNews）：Claude 产出 1.8 亿行数学证明（10-23）

Anthropic 前沿红队联合 Theorem Labs 发布报告：让 Claude 对 Google OSS-Fuzz 语料里的 123 个开源代码库、239 个测试入口做形式化验证，证明对象不是源码，而是编译后真正在 CPU 上运行的 RISC-V 机器码。

  • 规模与代价：项目累计生成约 10 亿行证明，其中 1.8 亿行通过 Rocq 证明检查器校验，单份证明的机器核验要跑 30 分钟到数小时。cJSON 一个 391 行的 C 解析入口，配套证明达 63 万行——因为要一并证明进程启动、内存分配器、printf 与运行时，与业务直接相关的部分只占十分之一。
  • 检出能力：研究团队在自研的 Rust 版 Python 解释器里预埋 7 个 Bug，随机测试漏掉 5 个，形式化验证全部检出；部分漏洞只有在约 20MB 的罕见输入下才触发，属模糊测试难以覆盖的路径。
  • 进度与成本：Theorem 测了 2026 年 5 月至 9 月发布的 7 款前沿模型，验证速度约每两个月翻一番；按当前单价测算，1.34 亿美元投入可在 2027 年底覆盖 Nix 生态 95% 的机器码，均摊到单个下游软件包约 14 美元。
  • 溢出效应：为做 zlib 对照，Claude 自主写出 x86 指令集的数学模型，可在模型内单步推演启动 Ubuntu 用户态，过程中找出 x86 官方参考文档的数百处错误与少量 CPU 硬件缺陷。首批 25 个库、60 个入口的证明已开源。

对 RISC-V 而言，这条新闻的分量在于验证对象的层级。此前机器码级形式化验证只出现在 seL4 这类项目上（编码 2 人年、验证 20 人年），成本决定了它进不了普通开源库；这次把单位成本压到可摊薄的水平，且整套证明建立在 Theorem 编写的 RISC-V 指令与 Linux 进程行为数学模型之上，等于给 RISC-V 生态留下了一套可复用的语义基座。需要克制的是：证明目前限定单线程、静态链接、固定内存预算，模型与真实硬件的对应仍要人工审查，检查器只保证证明符合规范，不保证规范符合需求。

一、开源社区与软件生态

1.1 openRuyi：20 笔提交，Go 服务端软件包批量入库

日期：2026-10-23　来源：openRuyi 主仓提交记录（10-23）、openRuyi 官网新闻页

openRuyi 主仓在窗口内录得 20 笔提交，全部落在 SPECS 目录，内容清一色是新增 Go 语言软件包。

  • Web 框架依赖链：补入 gobuffalo 系列的 packr、packd、logger、envy，以及 emicklei 的 go-restful——这是 Go 服务端最常见的路由与打包组合。
  • 容器与数据库驱动：docker 的 libtrust、spdystream，gopkg 的 gorp v1，ziutek 的 mymysql，denisenkom 的 go-mssqldb，jaypipes 的 pcidb，howett 的 plist，golang-sql 的 civil。
  • 与前情的衔接：2026.09 版本刚把 Go 构建环境升到 1.27，这一批包等于把「工具链可用」推进到「应用依赖齐全」；官网新闻页最新公告仍是 2026.09 版本，窗口内无新版本发布。

这 20 笔提交指向同一件事：RISC-V 发行版要承接的服务端负载里，Go 写的云原生组件占比极高，而 Go 生态的痛点从来不是编译器，是那些没人替你打的第三方包。把 mysql、mssql 驱动和 docker 底层库一个个补进来，属于典型的「不发布版本但决定可用性」的工作。

1.2 香山：NEMU 连发两个标签，difftest 用 Tensor Cores 跑 MMA 比对

日期：2026-10-23　来源：NEMU 发布记录（10-23、10-24）、difftest 提交记录（10-23 至 10-25）、XiangShan 提交记录（10-23）

香山项目在窗口内三条线同时推进：参考模型、差分验证框架与处理器本体。

  • NEMU：10-23 与 10-24 连续发布 v2026.10.r8、v2026.10.r9 两个标签，配合一笔「difftest 支持快速共享参考执行」（#1247）的改造，并把 Copilot 评审工作流从 CI 移除（#1260）。
  • difftest：窗口内 9 笔提交，6 笔集中在 MMA 验证的 CUDA 性能优化——按格式特化浮点核（#1000）、用 Tensor Cores 跑 INT8 比对（#1001）、改用原生位宽的操作数加载（#1002）、去掉冗余操作数与 DUT 结果拷贝（#996、#999）；另有快速参考与 fork 检查（#980）、并发寄存器写入的哈希（#991），以及把 BOOM 的 DiffTest 接入写进文档（#995）。
  • 处理器本体：昆明湖 V3 分支 3 笔，含 StoreUnit 上报指针掩码后地址的修正（#6742）、检查点更新（#6756）与仿真环境变量的 CI 统一（#6701）。

真正的变化在 difftest：矩阵扩展的参考模型搬到 GPU 上用 Tensor Cores 跑，说明差分验证的瓶颈已经从「模型写不出来」变成「比对吞吐不够」。验证基础设施一旦开始为性能做优化，通常意味着被验证的核已经复杂到逐拍仿真跑不动了。

1.3 CVA6 的 master 转为只读，CVW 合入 Sail 0.16

日期：2026-10-23　来源：cva6 提交记录（10-23）、cvw 提交记录（10-23）

OpenHW 的两个核心项目在窗口内各有一笔治理或模型层面的改动。

  • CVA6：master 分支合入提交 #3664，标题为「Note: master made read-only」。该分支上一笔代码提交停留在 09-15，此后一个月无业务改动，这次直接标注只读，默认分支名尚未切换。
  • CVW：合入 PR #1995，把 Sail 模型升级到 0.16。CVW 用 Sail 维护 RISC-V 的黄金参考模型，版本跟进意味着指令语义的参考实现与上游规范保持同步。

两件事放在一起看，是同一方向的两种动作：一边冻结主线为分支策略调整腾位置（迁移方案尚未公告），一边把 ISA 参考模型往前推。对采用 CVA6 的团队来说，短期需要确认代码基线迁往何处；对做形式化与差分验证的团队来说，Sail 0.16 是比核本身更值得跟进的更新。

二、产品与生态动态

2.1 Tenstorrent 开放 Chiplet 设计框架 OCA Harness 测试版

日期：2026-10-23　来源：Unite.AI：Tenstorrent Opens OCA Chiplet Harness Beta Under Apache 2.0（10-23）、GitHub：tenstorrent/tt-oca-harness

Tenstorrent 于 10-22 放出 Open Chiplet Atlas（OCA）Harness 的开源测试版，把 OCA 的互操作架构变成可复用、可部署的实现。

  • 许可：代码 Apache 2.0，文档与图片 CC-BY-4.0，贡献同样按 Apache 2.0 收；正式版目标定在 2027 年 1 月。
  • 三层结构：Architecture 定义 chiplet 在物理、传输、协议、系统、软件五层的互操作；Harness 提供 chiplet 所需的全部「非应用逻辑」，让设计方只写自己的增值部分；Compliance 负责硅前验证与硅后确认，含 Golden Chiplet 概念与社区 plugfest。
  • 定位：测试版面向早期采用者、集成商与贡献者，仓库已公开在 tenstorrent 组织下。

Tenstorrent 是 RISC-V 阵营里少数把「开放」从指令集延伸到封装与互联的厂商。Chiplet 的现实障碍从来不是能不能做，而是各家 die-to-die 接口互不认账；把非应用逻辑做成开源脚手架，实质是把互操作成本从每个设计团队身上挪到社区。对正在做多 die 方案的国产团队，这是可以直接对照的一份参考实现。

2.2 LILYGO T-Halow P4：ESP32-P4 与 C6 双 RISC-V 核的 M.2 板卡

日期：2026-10-23　来源：CNX Software：LILYGO T-Halow P4（10-23）、GitHub：Xinyuan-LilyGO/T-Halow-P4

LILYGO 推出 T-Halow P4：80 × 22mm 的 M.2 2280 开发板，把 Wi-Fi HaLow 长距链路做进标准 M.2 形态。

  • 主控：乐鑫 ESP32-P4NRW32X，双核 RISC-V 400MHz（带 AI 指令扩展与单精度 FPU）加一颗 40MHz 的低功耗 RISC-V 核；2D PPA、H.264 与 JPEG 编解码、MIPI CSI 与 DSI 各一路，最高 1080p30 硬件编码。
  • 无线：ESP32-C6-MINI-1U 提供 Wi-Fi 6、蓝牙 5 与 802.15.4（Zigbee／Thread／Matter），经 SDIO 与 P4 相连；另配泰芯 TX-AH 模块做 802.11ah HaLow，859–894MHz 或 902–928MHz 两种频段、1–8MHz 信道、150Kbps 至 32.5Mbps、视距最远 1.2km。
  • 价格与开发：官方店 26.57 美元起（915MHz 版 31.07 美元），AliExpress 36.98 美元；示例基于 ESP-IDF 5.4.1 以上，HaLow 走 SPI 传数据、UART 收 AT 指令，另有浏览器端配置工具。

M.2 形态是这块板最实用的地方：它不再是「一块要接线的开发板」，而是能插进现成载板的通信模组。ESP32-P4 补算力与视频通路、C6 补 Wi-Fi 6 与 Matter、TX-AH 补公里级低功耗链路，三颗芯片分工明确，正好对应工业监测与远程摄像头这两类最难布线的场景。

三、国内团队深挖

3.1 优智创芯完成近亿元 Pre-A 轮融资，「全赢芯」RISC-V GPGPU 项目落地长沙金霞

日期：2026-10-22　来源：掌上长沙（长沙晚报）：一颗「芯」，为何选择长沙？（10-22）

长沙晚报 10 月 22 日报道，清华系类脑智能企业长沙优智创芯科技有限公司完成近亿元 Pre-A 轮融资，由力汇基金联合长沙投资控股集团、金霞盛世基金组建的专项基金力优创投领投，老股东啟赋资本跟投；公司同时把孵化的「全赢芯」RISC-V GPGPU 项目落地长沙金霞经济开发区。

  • 技术源头：优智创芯由清华大学集成电路学院副教授何虎领衔，掌握 SNNGrow 类脑仿真训练框架与 CLAS 因果学习算法；「全赢芯」的技术源头可追溯到上海清华国际创新中心集成电路研究平台 2022 年推出的国内首个开源 RISC-V 向量扩展 GPGPU 「Ventus（乘影）」，路线为指令集、架构、生态三重自主。
  • 产业化节点：2025 年 6 月总投资约 15 亿元的优智创芯项目签约落户金霞，分三期建设总部与 GPGPU 研发生产基地，重点攻关「全赢芯」系列 GPGPU 与「思辨芯」类脑 AI 芯片，一期投产后年产值预计超 3 亿元；2025 年 11 月长沙全赢半导体注册成立，同期清华大学、景嘉微、全赢半导体、CSDN 等 8 家单位联合发起的「长沙高性能计算研究中心（筹建）」签约落户。
  • 算子库共建：2026 岳麓大会「AI+OpenCL 异构计算」论坛上，长沙全赢半导体、湖南集成电路产业技术创新战略联盟、CSDN、长沙景嘉微、长沙手爪科技等签署 OpenCL 算子库战略合作协议，目标是消解算子适配的生态碎片化，让「一套代码跑遍国产芯片」成为可能；子公司同步推动「开源酷蒜 OpenKusuan」AI 软件栈平台在长沙扎根。
  • 长沙算力家底：国家超级计算长沙中心总算力超 5000 PFlops，世界计算·长沙智谷已部署 200P 全栈国产化算力；2025 年湖南全省总算力 13500P、智能算力 5200P、人工智能产业规模 850 亿元，自主安全计算集群 1400 余家企业、集群总产值超 2300 亿元。

这是 RISC-V 向高性能计算（GPGPU）延伸的一个国内落地样本：从开源向量扩展 GPGPU 出发，到产业化主体，再到算子库层面的开放共建，补的正是「硬件强、软件弱」的短板。GPGPU 走 RISC-V 意味着要自建完整的并行编程栈，OpenCL 算子库共建能不能形成真实复用的代码，是后续最值得跟踪的指标；芯片流片回片与一期产线时点同样待明确。

3.2 奕行智能成为 RVAI 工作组首批发起单位，RISC-V 超节点已在运营商机房上线

日期：2026-10-23　来源：集微网：智算向新，开源铸根——奕行智能亮相 2026 RISC-V 中国峰会暨香山如意生态大会（10-23）、C114：奕行智能亮相峰会（10-23）、亿欧：奕行智能再获 20 亿融资（09-18）

10 月 20 日下午，香山如意生态大会作为 RISC-V 中国峰会同期活动在深圳举行，奕行智能在会上拿到两个身份：开源芯片社区 RVAI 工作组八家首批发起单位之一，以及如意社区共建单位。

  • 组织落点：RVAI 工作组聚焦 RISC-V 与 AI 融合，通过开源协作汇聚芯片、IP 与软件生态力量；如意社区由中国科学院软件研究所主导，目标是 RISC-V 原生基础软件生态。奕行智能称将以真实产品需求与工程经验参与上游共建。
  • 技术主张：主题报告《AI System 视角下奕行智能的 RISC-V AI 创新实践》由黄超主讲，核心判断是 Agentic AI 让算力价值的衡量从单次模型调用扩展到完整任务链，因此芯片、互联、软件与系统要按端到端任务效率协同设计。
  • 产品底座：第一代 Epoch 系列 RISC-V 云端 AI 芯片已规模量产，基于 RISC-V 与类 TPU 架构，原生支持分块量化 FP8；64 节点 E200-L 液冷 OAM 超节点集群已在运营商数据中心上线，官方称是业内首款量产交付的 RISC-V 超节点，实现 64 颗芯片百纳秒级互联，用于 MoE 模型的专家路由协同。
  • 资本与生态：2026 年上半年完成 15 亿元 B 轮并获中国移动战略投资，9 月再获近 20 亿元融资，投后估值接近 150 亿元；软件侧推进 VISA 虚拟指令集开源，EVACA 软件栈已与 FlagOS 等国产 AI 生态开展适配。

奕行智能走的是「芯片量产—超节点交付—开源社区共建」的顺序，与多数先做 IP、后找场景的 RISC-V 公司相反。它加入如意社区的意义也在这里：RISC-V 云端 AI 的短板不在指令集，而在上层框架与算子，愿意把量产机上踩过的坑回灌上游，比再多一次融资更能说明这条栈在往生产环境走。

3.3 合见工软：RISC-V 的「分水岭」时刻，国产 EDA 要做生态共建者

日期：2026-10-23　来源：SEMI 大半导体产业网：合见工软吴晓忠——RISC-V 的「分水岭」时刻（10-23）

《半导体制造》专访合见工软副总裁吴晓忠，核心问题是国产 EDA 在 RISC-V 生态里演什么角色。

  • 与 Arm 时代的差别：Arm 时代是「架构定标在前、工具适配在后」，EDA 基于固化内核基线做调优；RISC-V 时代变成「架构、IP、工具三方并行成长的共生模式」，EDA 深度参与架构迭代，与 IP 厂商、开源机构共同解决碎片化与多核异构难题。
  • 已投入的项目：在香山昆明湖与玄铁 C900 系列的真实研发项目里投入仿真、硬件仿真与混合仿真能力，把产业痛点转化为工具能力，并与伙伴联合发布标准化验证方案。
  • 对 RVA23 的判断：RVA23 的价值是给操作系统、编译器与应用开发者一个稳定的指令集基线，但它只解决「软件可见指令集」的一致性问题，不约束微架构，不覆盖固件、启动流程与中断架构，也不禁止自定义扩展——碎片化并不会因此消失。
  • 验证的真实难点：RISC-V 并不天然比 Arm／x86 复杂，但高度模块化与允许自定义扩展，大幅扩大了需要验证与维护的配置组合；挑战不是造新方法学，而是配置管理与软硬件协同的工作量。合见工软列出的四个方向是硬件验证平台性能与级联、内存一致性与向量／AI 加速验证、硅前系统验证环境、基于 FPGA 的可运行参考方案。

这段访谈值得留意的不是表态，而是它承认了一个事实：RISC-V 的成本重心正在从「设计」移到「验证」。当一家 EDA 公司同时出现在香山与玄铁两个旗舰项目的验证链里，说明国产高性能核的迭代节奏已经被工具链的吞吐能力卡住；而「用工具能力约束无序定制」这句话，也点出了生态治理的真实抓手。

3.4 睿思芯科谭章熹：二三十家高性能 RISC-V 将洗牌，生态权重高于核性能

日期：2026-10-23　来源：21 世纪经济报道：专访谭章熹——RISC-V 迈向规模化商用，下一场硬仗在数据中心（10-23）

峰会主席、睿思芯科创始人兼 CEO 谭章熹在会后接受 21 世纪经济报道专访，给出几条关于产业阶段的判断。

  • 身份与背景：谭章熹师从 RISC-V 奠基人 David Patterson，是伯克利原创团队中唯一的中国大陆学生；睿思芯科主攻高性能服务器 CPU 与 AI 数据中心处理器，公司 10-16 刚完成一轮战略融资。
  • 竞争逻辑：处理器竞争不是「核快不快」，最终用户关心的是应用与整个软件栈能否跑在新架构上、移植是否顺畅，因此生态建设的重要性甚至高于对核性能的追求；近两年 AI 编程的兴起，正在帮助 RISC-V 加速对现有架构的替代。
  • 洗牌预判：目前声称做高性能 RISC-V 的公司大约有二三十家，但真正拥有自研核心、能走完完整产品周期的并不多；他类比当年硅谷二三十家 GPU 公司最终只剩两三家，认为中国市场正在进入同一阶段，能否穿越 AI 泡沫与回调决定最终胜出者。
  • 短板所在：供应链安全与 AI 算力需求是明确的产业驱动，但人才与基本功差距仍大，国际巨头今天的地位靠的是几十年积累。第七届峰会投稿 239 篇、同比增长近 20%，赞助商三十多家且都拥有 RISC-V 直接产品。

把这条与合见工软那条并读，能看到同一件事的两面：一边说验证与工具决定迭代速度，一边说生态与移植决定商业成败——两句话都在把「核性能」从竞争中心挪开。对做芯片的团队，这意味着路线选择的窗口正在收窄：要么在某个场景把软件栈做穿，要么在洗牌中被并掉。

3.5 算能 zsbl 重构为 eboot 框架，支持外部设备树与应用树

日期：2026-10-23　来源：sophgo/zsbl 提交记录（10-23）

算能的零阶段引导程序仓库 zsbl 在窗口内录得 8 笔提交，实际内容是一次框架级重构。

  • 改名与定位：注释与测试串里的 zsbl 引用被清理，框架更名为 eboot，镜像名改为由应用名派生——从「某芯片专用的零阶段引导」转向「可承载多种应用的引导框架」。
  • 外部树支持：新增树外应用树支持，外部树对象输出到 objtree/ext；新增用 dtb 规则构建外部设备树的路径，并让 dts 与 defconfig 按实际构建目标命名。
  • 工程修正：修掉 distclean 之后仍残留镜像文件的问题，TARGET 注释换成中性示例。

引导程序改名看起来是小事，实际影响的是下游复用成本。支持树外应用树与外部设备树之后，第三方板卡与同一颗芯片的不同产品线不必再改主仓，而是各带各的配置；对比仍把板级配置写死在引导里的方案，这是量产阶段必须跨过的一道工程门槛。

四、具身智能与机器人专章

4.1 进迭时空开源端侧 Agent 记忆子系统，BiBit 同步放出记忆插件

日期：2026-10-23　来源：GitHub：spacemit-com/bianbu-agent-memory、GitHub：spacemit-com/bibit-memory-plugin

进迭时空在窗口内推送两个与 Bianbu Agent OS 相关的新仓，把「Agent 的记忆」做成了独立子系统。

  • 主体仓库：bianbu-agent-memory 是 Bianbu Agent OS 的记忆子系统，Rust workspace 加 Python SDK，Apache-2.0，带 debian 打包，README 用「三个抽屉」概括——基础存储、全文检索与可选的向量召回／模型摘要；基础能力不依赖模型服务，权威数据留在设备本地。
  • 接口与边界：对外给出 memory_search、memory_save、memory_update、memory_remove 四类工具；更新用 memory_id 加 expected_revision 做乐观并发控制，陈旧版本直接拒绝；删除要先预览，再由用户确认才执行。安全设计上，召回到的内容按不可信上下文注入，插件来源的消息不写入记忆，子代理只读。
  • 宿主与插件：README 点名支持的宿主包括 Hermes、DeepSeek Harness 与 BiBit；同期推送的 bibit-memory-plugin 是 BiBit 的功能插件，在设置页加一页「记忆」，负责开关、保留时长、清空会话、整体擦除与 JSON 导入导出，通过 service:memory 能力调用记忆子系统。

端侧 AI 终端的竞争重心正在从「能不能跑模型」转向「记不记得住、敢不敢信」。这套设计里最值得记的两条是：记忆默认落在设备本地而非云端，以及对子代理与插件来源做写权限隔离。对机器人这类长期在线、多人接触的设备，记忆的权限模型比容量更早成为产品约束。

4.2 睿芯高光 D35 的学术底色：ISCA 2026 最佳论文提名与 80 余项数据流专利（10-23）

日期：2026-10-23　来源：上海证券报（新浪财经）：睿芯携高光 D35 芯片亮相 2026 物理 AI 与世界模型大会（10-23）、凤凰网：睿芯携高光 D35 亮相（10-23）

10-21 日报已收录苏州睿芯高光 D35在 RISC-V 中国峰会的展出；本期补的是它在 10-20 至 22 南京「2026 物理 AI 与世界模型大会」上的产业侧进展。

  • 技术路径：数据流架构让计算在数据到达处发生，不走指令调度与反复搬运，公司的说法是从根源上绕开「访存墙」，能效比对同类竞品提升数倍；指令集层用全自研 RISC-V CPU 内核 IP，构成「指令集自主加架构创新」的全栈路线。
  • 学术与专利：团队在数据流方向积累 20 余年，拥有 80 余项数据流架构技术专利，核心研究成果获 ISCA 2026 国际计算机体系结构顶会最佳论文提名；团队负责人范东睿曾参与龙芯一号至三号架构设计，主持 Godson-X 与 64 核 Godson-T 研发。
  • 落地与经营：高光 D35 已在具身智能、视频智能、智慧园区、舱驾一体、卫星与通信等领域落地，2025 年实现盈亏平衡；现场客户关注的是能效比、延迟、算力密度、功耗与软件栈适配这些硬指标。
  • 口径提示：内核 IP「通过 Intel 全球采购认可」与「全球首款量产 RISC-V 数据流物理 AI 芯片」均为公司口径，未见第三方确认；本次大会以对接与样品评估为主，未公布新的出货数字。

这条补的是一个容易被忽略的维度：数据流架构在国内并非新概念，但把它做到量产、且愿意在顶会上接受同行评议，是另一回事。物理 AI 场景对实时性与端侧部署的要求，恰好放大了数据流相对冯·诺依曼结构的优势区间；真正的考验仍在软件栈——算子与框架能不能跟上，决定这颗芯片只在展台上成立还是能在客户机柜里成立。

五、总结与趋势观察

  • 形式化验证的门槛在下降，RISC-V 是第一批受益者：证明直接做在 RISC-V 机器码上，配套的 RISC-V 指令与进程行为模型可复用；单位成本压到可摊薄后，安全认证与高保证软件的账才可能算得过来。需要克制的是，当前仍限定单线程、静态链接与固定内存预算。
  • 发行版的补齐从「语言运行时」转向「应用依赖」：openRuyi 本期 20 笔全是 Go 包，与 2026.09 版本把 Go 构建环境升到 1.27 相衔接。RISC-V 服务器能不能承接真实业务，越来越取决于这类不发布版本的打包工作。
  • 验证基础设施开始为吞吐做优化：香山 difftest 一周内 6 笔 MMA／CUDA 优化，把参考模型搬到 Tensor Cores 上跑。差分验证从「能比对」进入「比得快」的阶段，说明被验证的核已经复杂到逐拍仿真跑不动。
  • 开源核进入治理调整期：CVA6 冻结 master、CVW 跟进 Sail 0.16，一个是分支策略迁移的先行动作，一个是 ISA 参考模型的版本同步，两者都指向「可验证性」这一共同目标。
  • 国内团队的两条扩张路径都已跑到「生态」这一步：奕行智能是芯片量产、超节点交付、再到如意社区共建；优智创芯是融资、落地、再到 OpenCL 算子库共建。硬件只是入场券，软件与社区才是它们真正在下注的地方。
  • 端侧的软件补位比算力更密集：进迭时空这期没有新芯片，却开源了 Agent 记忆子系统与配套插件，把记忆、权限与工具调用做成了产品边界。对具身智能设备，这类「看不见的中间件」比峰值算力更早成为约束。
  • 局限说明：Anthropic 与 Theorem Labs 的报告内容依据 36氪、新智元的二次报道转述，未取得原始报告全文，x86 文档错误与 CPU 硬件缺陷的规模均为报告方口径；优智创芯条目来自用户指定队列与长沙晚报报道，融资额、产值与算力数据均为报道口径；奕行智能「业内首款量产交付 RISC-V 超节点」与「投后估值近 150 亿元」为公司及媒体口径，未获财报佐证；合见工软与睿思芯科的内容为媒体专访中的受访者观点，不代表产业共识；CVA6 冻结 master 后的具体迁移方案未见项目公告，本期仅按提交标题陈述；openRuyi、算能、进迭时空的提交内容依据提交标题与 README 判断，未逐条核对补丁；会员官网巡检检出的 45 处变化均为高校、机构与厂商首页例行更新，未发现实质产品、融资或架构发布；CNX 报道的 RoboParty RP1 人形机器人经核实采用 RK3588、A733 与 Jetson Orin NX，不属 RISC-V 方案，已剔除。

附录：完整信源清单

信源核查表

信源 核查结果
Google News 聚合（中英文 22 组补充查询，72 小时窗口） 去重后约 90 条：10-23 为峰会后报道密集日（玄铁 60 亿颗、奕斯伟招股、V100、睿芯 D35、中科通量、Akeana 收购等），10-24 至 10-25 显著转淡；上述已在前三期收录的事件仅作背景核对，本期不重复；「算能」「奕斯伟」中文查询仍混入股市行情与限售解禁稿，按标题剔除
Hacker News、Phoronix、CNX Software、LinuxGizmos、riscv.org CNX 两条有效：LILYGO T-Halow P4 已收录，RoboParty RP1 经核实采用 RK3588、A733 与 Jetson Orin NX，非 RISC-V 方案，剔除；Phoronix、LinuxGizmos 与 riscv.org 窗口内无新增 RISC-V 条目
GitHub 组织与重点仓库核查（72 小时窗口） 窗口内推送：espressif 31、sipeed 8、spacemit-com 7、sophgo 2、Nuclei-Software 2、openhwfoundation 2、XUANTIE-RV 1、spacemit-robotics 1、openRuyi-Project 1；eswincomputing（最后推送 10-19）、revyos（10-21）、radxa-linkr（10-21）窗口内无推送。香山系 XiangShan、NEMU、difftest、GEM5、XSCache 均有活动，已按条目收录
openRuyi 双源 主仓 20 笔提交，全部为 Go 软件包新增；官网新闻页最新公告仍为 2026.09 版本，窗口内无新版本发布
达摩院玄铁、算能、进迭时空重点仓库 CubeSandbox 默认分支为 add_riscv_support，窗口内默认分支无新提交，仅 10-23 发布 CI 二进制资产镜像；zsbl 8 笔（框架改名 eboot）、bianbu-agent-memory 与 bibit-memory-plugin 首次推送、ai-sdk 子模块更新 1 笔、model-zoo-tts 文档修正 1 笔
会员官网巡检（391 家） 耗时 190 秒：277 家无变化、45 家页面内容变化、69 家抓取失败；变化条目为高校、机构与厂商首页的例行更新（Google、Samsung、MIT、Inspire Semiconductor 的 SC26 参展提示等），未检出实质产品、融资或架构发布
RISC-V 国际基金会会员清单 391 家（Premier 20／Strategic 169／Community 202），清单由每月 5 日的自动任务刷新，本期未到期
第六届 RISC-V 中国峰会官网 峰会主场 10-18 至 20、湾区／香港日 10-21 已结束，官网变更监测窗口到期，本期起不再单列
待收录队列 用户指定 1 条（优智创芯／全赢芯 RISC-V GPGPU），已按建议章节收录进第三章并归档