調査期間：2026-10-23 05:00 ~ 2026-10-26 05:00（北京時間、72時間；前回デイリーレポートの締め切り時点から継続し、週末2日間をカバー）。

情報源：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）
    1. オープンソースコミュニティとソフトウェアエコシステム
      • openRuyi：20 件のコミット、Go サーバーサイドソフトウェアパッケージを一括登録（10-23）
      • 香山：NEMU がタグを 2 つ連続リリース、difftest が Tensor Cores で MMA 比較を実行（10-23）
      • CVA6 の master が読み取り専用に、CVW が Sail 0.16 をマージ（10-23）
    1. 製品とエコシステムの動向
      • Tenstorrent が Chiplet 設計フレームワーク OCA Harness のベータ版を公開（10-23）
      • LILYGO T-Halow P4：ESP32-P4 と C6 のデュアル RISC-V コアを搭載した M.2 ボード（10-23）
    1. 国内チームの深掘り
      • 優智創芯が約1億元の 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）
    1. エンボディドインテリジェンスとロボティクス専章
      • 進畳時空が端側 Agent 記憶サブシステムをオープンソース化、BiBit が同時に記憶プラグインを公開（10-23）
      • 睿芯高光 D35 の学術的基盤：ISCA 2026 最佳論文提名と 80 余項のデータフロ特許（10-23）
    1. まとめとトレンド観察

今日の重点：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 証明チェッカーで検証された。1 件の証明のマシン検証には 30 分から数時間かかる。cJSON の 391 行の C パーサーエントリには 63 万行の証明が付随する——プロセス起動、メモリアロケータ、printf とランタイムを併せて証明する必要があり、ビジネスに直接関連する部分は 10 分の 1 に過ぎないためである。
  • 検出能力：研究チームは自作の Rust 版 Python インタプリタに 7 つの Bug を事前に埋め込み、ランダムテストでは 5 つが見逃されたが、形式検証ではすべて検出された。一部の脆弱性は約 20MB の希少な入力でのみトリガーされ、ファジングテストではカバーしにくいパスに属する。
  • 進捗とコスト：Theorem は 2026 年 5 月から 9 月にリリースされた 7 つのフロンティアモデルをテストし、検証速度は約2 ヶ月ごとに倍増した。現在の単価で試算すると、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.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 が2つのタグを連続発行、difftest が Tensor Cores で MMA 比較を実行

日付：2026-10-23　情報源：NEMU リリース記録（10-23、10-24）、difftest コミット記録（10-23 から 10-25）、XiangShan コミット記録（10-23）

香山プロジェクトは調査期間内に3つの路線を同時に推進した。参照モデル、差分検証フレームワーク、プロセッサ本体である。

  • NEMU：10-23 と 10-24 に連続してv2026.10.r8、v2026.10.r9の2つのタグをリリースし、「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. 製品・エコシステム動向

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 インターフェースが互いに認め合わないことにある。アプリケーション以外のロジックをオープンソースの足場とする実質は、相互運用コストを各設計チームからコミュニティへ移すことにある。マルチダイ方案に取り組む国産チームにとって、これは直接照合できる参考実装の一つである。

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 フォームファクタに組み込んでいる。

  • メインコントローラ：Espressif ESP32-P4NRW32X、デュアルコア RISC-V 400MHz（AI 命令拡張と単精度 FPU 付き）に加え、40MHz の低消費電力 RISC-V コアを1基；2D PPA、H.264 および JPEG エンコード／デコード、MIPI CSI と DSI を各1路、最大 1080p30 のハードウェアエンコード。
  • 無線：ESP32-C6-MINI-1U が Wi-Fi 6、Bluetooth 5 および 802.15.4（Zigbee／Thread／Matter）を提供し、SDIO 経由で P4 に接続；さらに泰芯 TX-AH モジュールを搭載して 802.11ah HaLow を実現、859–894MHz または 902–928MHz の2種帯域、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つのチップの役割分担は明確で、まさに配線が最も難しい産業モニタリングと遠隔カメラという2類のシナリオに対応している。

3. 国内チームの深掘り

3.1 優智創芯が約1億元の Pre-A ラウンドを完了、「全贏芯」RISC-V GPGPU プロジェクトが長沙金霞に着地

日付：2026-10-22　情報源：掌上長沙（長沙晩報）：一つの「芯」、なぜ長沙を選ぶのか？（10-22）

長沙晩報の10月22日の報道によると、清華系の類脳智能企業長沙優智創芯科技有限公司が約1億元の 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 オペレータライブラリ戦略提携協定に署名した。目標はオペレータ適配におけるエコシステムの断片化を解消し、「1セットのコードで国産チップを走り抜く」ことを可能にすることにある。子会社は同時に「オープンソース酷蒜 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ワーキンググループの8社の初回発起単位の一つ、そして如意コミュニティ共同建設単位である。

  • 組織の位置づけ：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 に戦略的資金調達ラウンドを完了したばかりである。
  • 競争ロジック：プロセッサの競争は「コアが速いかどうか」ではなく、最終ユーザーが気にするのはアプリケーションとソフトウェアスタック全体が新しいアーキテクチャ上で動作するか、移植がスムーズかどうかである。したがってエコシステム構築の重要性はコア性能の追求以上に高い。ここ2年で AI プログラミングが台頭し、RISC-V による既存アーキテクチャの代替が加速している。
  • 再編の予測：現在、高性能 RISC-V に取り組むと称する企業はおよそ二、三十社あるが、自社開発コアを持ち、完全な製品サイクルを走り切れる企業は多くない。彼はかつてシリコンバレーに二、三十社あった GPU 企業が最終的に二、三社しか残らなかったことに例え、中国市場も同じ段階に入っており、AI バブルと調整を乗り越えられるかが最終的な勝者を決めると考えている。
  • 弱み：サプライチェーンの安全と AI 計算力の需要は明確な産業ドライバーだが、人材と基礎力の差は依然として大きい。国際的巨大企業の今日の地位は数十年の蓄積に支えられている。第7回サミットの投稿は 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. 身体知能とロボット特集

4.1 進迭時空がエッジ側 Agent メモリサブシステムをオープンソース化、BiBit も記憶プラグインを同時公開

日付：2026-10-23　情報源：GitHub：spacemit-com/bianbu-agent-memory、GitHub：spacemit-com/bibit-memory-plugin

進迭時空は調査期間内に Bianbu Agent OS 関連の新規リポジトリを2つ公開し、「Agent の記憶」を独立したサブシステムとして作り上げた。

  • 主体リポジトリ：bianbu-agent-memory は Bianbu Agent OS のメモリサブシステムであり、Rust workspace に Python SDK を加え、Apache-2.0、debian パッケージングを備える。README は「三つの引き出し」で要約している——基本ストレージ、全文検索、そしてオプションのベクトル想起／モデル要約。基本機能はモデルサービスに依存せず、権威データはデバイスローカルに留まる。
  • インターフェースと境界：外部には memory_search、memory_save、memory_update、memory_remove の4種類のツールを提供する。更新は memory_id と expected_revision による楽観的並行制御を行い、古いバージョンは直ちに拒否される。削除はまずプレビューし、ユーザー確認後に実行される。セキュリティ設計では、想起された内容は信頼できないコンテキストとして注入され、プラグイン由来のメッセージは記憶に書き込まれず、サブエージェントは読み取り専用である。
  • ホストとプラグイン：README が対応を明記するホストには Hermes、DeepSeek Harness、BiBit が含まれる。同時公開された bibit-memory-plugin は BiBit の機能プラグインであり、設定ページに「記憶」ページを追加し、オンオフ、保持期間、セッション消去、全体消去、JSON インポート／エクスポートを担い、service:memory ケーパビリティを通じてメモリサブシステムを呼び出す。

エッジ AI 端末の競争の重心は「モデルを動かせるか」から「記憶できるか、信頼できるか」へと移りつつある。この設計で最も記憶すべき2点は、記憶がデフォルトでクラウドではなくデバイスローカルに置かれること、そしてサブエージェントとプラグイン由来に対する書き込み権限の隔離である。ロボットのように常時オンラインで多人数が接触するデバイスでは、記憶の権限モデルが容量よりも早く製品上の制約となる。

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 の最優秀論文ノミネートを受賞した。チーム責任者の范東睿氏は龍芯1号から3号のアーキテクチャ設計に参加し、Godson-X と64コア Godson-T の研究開発を主宰した経歴を持つ。
  • 実装と経営：高光 D35 はすでにエンボディドインテリジェンス、ビデオインテリジェンス、スマートパーク、コックピット・運転統合、衛星・通信などの分野で実装され、2025年には损益分岐点を達成した。会場の顧客が関心を寄せたのは、エネルギー効率比、レイテンシ、演算密度、消費電力、ソフトウェアスタック適合性といったハード指標である。
  • 表現に関する注記：コア IP の「Intel のグローバル調達認証を取得」および「世界初の量産 RISC-V データフロー物理 AI チップ」はいずれも同社の説明であり、第三者による確認は得られていない。今回の大会はマッチングとサンプル評価が中心で、新たな出荷台数は公表されていない。

この項目が補うのは、見落とされがちな次元である。データフローアーキテクチャは国内で新しい概念ではないが、それを量産まで到達させ、しかもトップ会議で同業者の査読を受けることを厭わないのは別の話だ。物理 AI シーンがリアルタイム性とエッジ側展開に求める要件は、まさにデータフローがフォン・ノイマン構造に対して持つ優位領域を拡大させる。真の試練は依然としてソフトウェアスタックにある。オペレータとフレームワークが追随できるかどうかが、このチップが展示台の上だけで成立するのか、顧客のラックの中で成立するのかを決める。

5. 総括とトレンド観察

  • 形式検証の敷居は下がっており、RISC-V は最初の受益者である：証明は直接 RISC-V マシンコード上で行い、付随する RISC-V 命令とプロセス挙動モデルは再利用できる。単位コストを償却可能な水準まで圧縮できて初めて、セキュリティ認証や高保証ソフトウェアの採算が取れるようになる。自制すべき点は、現状依然としてシングルスレッド、静的リンク、固定メモリ予算に限定されていることだ。
  • ディストリビューションの補完は「言語ランタイム」から「アプリケーション依存」へ移行：openRuyi の今回は20件すべてが Go パッケージで、2026.09 バージョンで Go ビルド環境を1.27に引き上げたことと連動している。RISC-V サーバーが実際の業務を担えるかどうかは、ますますこの種のバージョン番号を持たないパッケージング作業にかかっている。
  • 検証インフラがスループット最適化に着手：香山 difftest は1週間で6件の MMA／CUDA 最適化を行い、参照モデルを Tensor Cores 上で走らせた。差分検証は「比較できる」段階から「速く比較できる」段階に入っており、検証対象のコアがサイクル単位のシミュレーションでは回らないほど複雑化したことを示している。
  • オープンソースコアはガバナンス調整期に入る：CVA6 は master を凍結し、CVW は Sail 0.16 に追随した。一方はブランチ戦略移行の先行動作、もう一方は ISA 参照モデルのバージョン同期であり、いずれも「検証可能性」という共通目標を指し示している。
  • 国内チームの2つの拡張経路はいずれも「エコシステム」段階に到達：奕行智能はチップ量産、スーパーノード納品、そして如意コミュニティ共同構築へ。優智創芯は資金調達、実装、そして OpenCL オペレータライブラリ共同構築へ。ハードウェアは入場券にすぎず、ソフトウェアとコミュニティこそが彼らが本当に賭けている場所だ。
  • エッジ側のソフトウェア補完は演算能力よりも密集：進畳時空は今回新チップこそなかったが、Agent 記憶サブシステムと付随プラグインをオープンソース化し、記憶、権限、ツール呼び出しを製品境界として作り上げた。エンボディドインテリジェンス機器にとって、こうした「見えないミドルウェア」はピーク演算能力よりも早く制約となる。
  • 限界に関する説明：Anthropic と Theorem Labs の報告内容は36kr、新智元の二次報道による転述に基づくもので、原報告の全文は入手していない。x86 ドキュメントのエラーと CPU ハードウェア欠陥の規模はいずれも報告側の説明である。優智創芯の項目はユーザー指定キューと長沙晩報の報道によるもので、調達額、産値、演算能力のデータはいずれも報道側の説明である。奕行智能の「業界初の量産納品 RISC-V スーパーノード」と「投資後評価額約150億元」は同社およびメディアの説明であり、財務報告による裏付けは得られていない。合見工軟と睿思芯科の内容はメディアインタビューにおける取材対象者の見解であり、産業界のコンセンサスを代表するものではない。CVA6 の master 凍結後の具体的な移行方案はプロジェクト公告が見当たらず、今回はコミットタイトルのみに基づいて記述した。openRuyi、算能、進畳時空のコミット内容はコミットタイトルと README に基づく判断であり、パッチを逐条照合してはいない。会員公式サイトの巡回で検出された45件の変化はいずれも大学、機構、ベンダーのトップページの定例更新であり、実質的な製品、資金調達、アーキテクチャの発表は見つかっていない。CNX が報じた RoboParty RP1 ヒューマノイドロボットは検証の結果 RK3588、A733、Jetson Orin NX を採用しており、RISC-V 方案には該当しないため除外した。

付録：完全な情報源リスト

com/article/20261023/herald/d50e4a21fda2ba70d994818284d90aad_zaker.html>

情報源チェック表

情報源 検証結果
Google News アグリゲーション（中日英 22 組の補足クエリ、72 時間ウィンドウ） 重複排除後約 90 件：10-23 はサミット後の報道が集中した日（玄鉄 60 億個、奕斯偉 招股、V100、睿芯 D35、中科通量、Akeana 買収など）、10-24 から 10-25 は顕著に減少；上記のうち既に前三期で収録した事象は背景確認のみとし、本期では重複掲載しない；「算能」「奕斯偉」の中国語クエリには依然として株式市況やロックアップ解除の記事が混入するため、タイトルにより除外
Hacker News、Phoronix、CNX Software、LinuxGizmos、riscv.org CNX は有効 2 件：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 日の自動タスクで更新され、本期は更新期日前
第 6 回 RISC-V 中国サミット公式サイト サミット本会場は 10-18 から 20、湾区／香港デーは 10-21 に終了、公式サイトの変更監視ウィンドウは期限切れ、本期より単独掲載を終了
収録待ちキュー ユーザー指定 1 件（優智創芯／全贏芯 RISC-V GPGPU）、提案された章に従い第 3 章に収録しアーカイブ済み