開発

最近、2026 世界物理 AI 大会および宇樹パートナーエコシステム大会において、ロボット企業の銀河通用と宇樹科技が、世界初のネイティブインテリジェントロボット「銀河星仔 Galbot ET1」を共同開発したことを発表しました。この製品は今年の 8 月に世界ロボット大会で初めてお披露目されました。今回の共同開発の発表は、製品の定義、ハードウェアの磨き上げ、そして具身知能能力の研究開発に関する両者の協力をさらに示しています。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました：単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

Paranoid 開発者 Ignotus Nemo は、イーサリアム研究フォーラムで EIP-8288 に対する再帰的集約案を提案し、承認された複数の証明サイズをサポートすることを提案しました。これにより、小規模な集約でより小さな証明を使用できるようになります。彼は Paranoid システムで異種再帰を実現し、公共メインネット上で大小二つの状態遷移証明を運用しています。この案は、限られた認証検証器ライブラリを使用し、各クラスの独立した累積器チャネルを通じてクラス間の遅延検証を処理し、再帰ステップにおける行列の宣言の正確性を確保します。EIP-8288 にこのメカニズムを適用する際には、サブライブラリの統合、依存関係の処理、プログラムのアイデンティティと検証器クラス間の意味的互換性の問題について議論する必要があります。EIP-8288 は Vitalik Buterin と Thomas Coratger によって 2026 年 6 月に提案され、主にポスト量子署名と STARK 証明の大きさ、オンチェーン検証コストの問題に対処しています。

韓国のストレージ基板メーカーTLBは、国内外の2つの大手ストレージ製造業者とAIサーバー用低消費電力メモリモジュール仕様SOCAMM3基板の開発を開始しました。業界の22日の情報によると、TLBは最近、2つの既存のストレージ顧客と設計方向と製造プロセスについて協議を始めており、仕様はまだ確定していません。ストレージメーカーは、まず基板メーカーと設計を完了させてから仕様を取り入れる計画で、実際の基板量産は2028年を見込んでいます。SOCAMMは、モバイル端末用の低消費電力DRAMを取り外し可能なAIサーバーモジュールに仕上げ、NVIDIAが自社のAIサーバーで最初に使用します。SOCAMM2はJEDEC標準に発展しました。現在、NVIDIAのVera CPUの隣にある各CPUには、LPDDR5XベースのSOCAMM2が8個搭載されており、単一CPUの最大容量は1.5TB、帯域幅は毎秒1.2TBです。SOCAMM2基板は5回の積層が必要で、SOCAMM3では積層回数が増加し、微細孔加工などの技術的難易度が上昇します。適用システムはまだ公開されておらず、2028年の量産時期はNVIDIAのロードマップと重なります。NVIDIAは今年3月のGTCで、2028年にFeynman GPUと新CPU Rosaを発表することを発表しました。TLBのSOCAMM2基板は今年初めに量産を開始し、第2四半期の生産量と売上高は前四半期の3倍以上に増加しました。生産時間と単価は既存モジュール基板の約2倍です。業界は、今年TLBのSOCAMM基板の売上高が約700億ウォン、来年は約1400億ウォンになると予測しています。証券会社は、今年の同社の全体収益が約3500億から3700億ウォンで、前年比約40%の成長を見込んでおり、来年は約4500億ウォンになると予測しています。同社は来月、ベトナムの北寧省安豊産業団地に第2工場の建設を開始し、目標は来年の第4四半期に稼働することですが、SOCAMM基板は短期的には安山本社でのみ生産されます。

GMGNの共同創設者Hazeは、GMGNが独自に開発したクロスチェーンブリッジが現在、小規模なテストを行っており、取引の迅速性、安全性、安定性を重点的に保証していると発表しました。Hazeは、この機能が稼働した後、ユーザーはGMGNアプリ内でUSDCを使用して複数のブロックチェーン上のトークンを直接購入できるようになると述べました。

アメリカ商務省は、チップの研究開発を支援するために最大3.89億ドルを提供する予定です。

イーサリアム分散型バリデーター技術（DVT）プロトコル SSV Network ガバナンスフォーラムによると、SSV Labs は 10 月 21 日に DIP-59 提案を提出しました。提案によると、現在の市場環境および DAO の財務状況の影響を受けて、資金提供が昨年および元々の計画よりも縮小され、新製品の開発からネットワークの維持、安全性、イーサリアムのアップグレード適応に重点を移すことが提案されています。提案はまた、DIP-31 に関連する取り決めを修正し、サービス期間を 2027 年 6 月末まで延長することを提案しており、今後の分割払いの取り決めにも関与しています。提案では、DIP-31 で合意された第三回目、つまり最後の 1,736,111.11 枚の SSV の助成金が未だに支払われていないことが明らかにされています。

meme コイン発行プラットフォーム Pump.fun の共同創設者兼最高執行責任者 Alon は、チームが以前は長期間ランチャーに焦点を当てており、約 5 ヶ月前からクロスチェーン交換をサポートし始めたと述べました。彼は当時使用していたクロスチェーンサービスプロバイダー Relay の調査後、Relay 上でのクロスチェーン購入の 9 分の 1 以上にエラーが発生していることを指摘し、典型的な購入の着地時間は約 4 秒、10 分の 1 は 7 秒を超え、ユーザーが得られるトークンの数は通常期待される水準を下回っていると述べました。彼はまた、ソーシャルトレーディングアプリ FOMO が現在も Relay に依存していると述べました。Alon は、自社開発のクロスチェーンブリッジ Pump Bridge が全ての Pump.fun アプリユーザーに開放されたと述べました。Relay と比較して、購入の着地速度は 2 倍に向上し、エラー率は 92% 減少し、9 分の 1 以上から 1% 未満に低下しました。同等の資金で平均してより多くのトークンを得られ、現在は追加のクロスチェーン手数料も発生しません。彼は、光速とターゲットチェーンの確認時間に制限され、購入の理論上の最速着地時間は約 1.1 秒であり、チームはまだ残りのギャップを縮小していると述べました。上記の比較は 9 月 28 日から 10 月 7 日にかけて Pump.fun モバイルアプリで行われたランダムテストに基づいており、Robinhood、BSC、Base、Arc、Ink をカバーし、イーサリアムは含まれておらず、416,669 件の取引結果が記録されました。そのうち 383,326 件はクリックから成功の通知までの時間を統計し、さらに 35,333 件の 500 ドル未満の完了した USDC 購入が取引の比較に使用されました。Alon はまた、プラットフォーム手数料が 0.45% であり、Callout 報酬は少なくとも毎日 30 万ドル、2 ヶ月で合計約 2000 万ドルであり、プラットフォームは手数料を保持しないと述べました。

Meta Platforms (META.O) の CEO マーク・ザッカーバーグは、同社が新しい世代の小型モデルを開発しており、より高い効率で Muse Wonder レベルの知能を実現するために、すぐに発売される予定であると述べました。

イタリアのテレコム TIM は、NVIDIA と協力して、人工知能アプリケーションの開発と展開のための先進的な能力を提供します。

甲骨文は、業界向けのビジネスプロセスに特化したローコードおよびノーコードのAIエージェント開発プラットフォームであるOracle AI Agent Studio for Industry Applicationsを発表しました。このプラットフォームは、エージェントの作成、テスト、オーケストレーション、デプロイメント、および管理をサポートします。このプラットフォームは、既存のOracle AI Agent Studio for Fusion Applicationsに基づいており、顧客やパートナーが既存のアプリケーションデータ、ツール、ビジネスプロセスを利用してAIエージェントを構築およびカスタマイズし、日常のワークフローに組み込むことを可能にし、手作業を減らし、生産性を向上させます。

Sifted の報道によると、オランダのスタートアップ Photon Bridge が 1000 万ユーロのシードラウンド資金調達を完了したと発表しました。同社は、データセンター内で AI チップを接続するためのレーザー技術を開発しており、チップ間の相互接続性能を向上させることを目指しています。同社は、そのレーザー技術が急成長する AI インフラストラクチャの需要を満たすためにスケール製造できると述べています。

OpenAIは、旧金山のスタートアップOrchestra Bioを買収したと発表しました。この会社が開発したAIインテリジェントエージェントは、製薬企業が薬の研究開発プロジェクトの進捗を追跡するのを助けます。Orchestraのチームとプラットフォームは、OpenAIの生物学者や化学者向けのライフサイエンス製品ラインRosalindに統合されます。取引金額は公表されていません。Orchestraは2022年秋に設立され、シードラウンドの資金調達はAndreessen Horowitz、Definition Capital、Insight Partners、8VCから行われ、累計で約2000万ドルの資金を調達しました。OpenAIによると、新薬が最初の構想からアメリカの承認を得るまでには最長で15年かかり、単一の承認薬の上市コストは26億ドルを超える可能性があります。人体試験に入る候補薬の中で、最終的に上市される割合は10%未満です。OrchestraのAIインテリジェントエージェントは、タスクを自動的に監視し、問題をマークし、製造バッチの失敗などの挫折が全体の研究開発プロジェクトにどのように影響するかを分析し、関連情報をまとめて対応策を比較し、最終的に科学者やプロジェクトリーダーが意思決定を行います。この買収は、競合他社のAnthropicが4月に約4億ドルでCoefficient Bioを買収した直後に行われ、AIラボが新薬の研究開発ワークフローを巡る競争を反映しています。OpenAIは4月に生物学と薬の発見のために特別に設計されたモデルGPT-Rosalindを発表し、AmgenやModernaなどの審査を受けたアメリカの企業顧客にのみ提供しています。関連製品Rosalind Workbenchは、モデルを研究ツールやデータに接続することができます。

OpenAIのCEOオットマンは先週、従業員に安全なスーパーAIを開発するための3つの提案を紹介しました。第一の提案は、国際原子力機関に似たグローバルな監視機関を設立し、高度なモデルを検査し、安全対策を監査することです。関係者によれば、オットマンはこのルートを好んでいるとのことです。第二の提案は、欧州原子核研究機構を模倣し、主要なAIラボを一つの組織に統合するか、統一機関を通じて共同開発を行うことで、各自が競争を続けるのではなく、協力するというものです。第三の提案は最も極端で、彼が「エリエザー案」と呼ぶもので、あるAI企業が最初に再帰的な自己改善を実現し、圧倒的な経済力で計算能力を支配し、他の開発者が追いつけなくなるというものです。オットマンはこの構想を「他のすべての会社のGPUを溶かす」と表現し、この案は非常に悪いものであり、可能性を全て説明するためだけのものであると述べました。「GPUを溶かす」という構想は、AI安全研究者エリエザー・ユドコウスキーに由来します。彼は2021年に思想実験を提案し、スーパーAIが自己複製できるナノマシンを製造して世界中のGPUを溶かすというもので、これは介入の強さを示す極端な例であり、実行を主張するものではないと述べています。OpenAIは2023年に「AI版国際原子力機関」の設立を提案し、Google DeepMindの責任者ハサビスも「AI版CERN」の設立を主張したことがあります。現在、OpenAI、Google、Anthropicは今年の年末または来年の初めに共同安全基準組織を設立する計画を立てていますが、モデルの安全テストの責任の所在については意見の相違があります。オットマンはAI開発に速度制限を設定したいと考えており、同時にOpenAIは現在競争優位を対手に譲ることはできないと述べています。

The Information の報道によると、DeepSeek は Huawei と深い協力関係を築き、次世代 AI チップを共同設計しており、NVIDIA の計算能力に依存しないモデルを構築することを目指しています。関係者によると、Huawei のエンジニアが DeepSeek のオフィスに入り、モデルアーキテクチャやアルゴリズムの要件を理解し、チップがデータ転送と圧縮をどのように処理するかをテストしています。最初の適応チップの目標は昇騰 950DT です。報道は、この動きが中国がアメリカのチップ依存から脱却しようとしている時期に行われていることを指摘しています。台積電のファウンドリとアメリカの輸出規制に制約されているため、Huawei の昇騰 950DT は 2027 年に発売予定ですが、量産は 2028 年まで遅れる可能性があります。チップ不足の問題を解決するために、DeepSeek は TileLang プログラミング言語を使用して CUDA の制限を回避しつつ、禁止されている NVIDIA Blackwell チップを第三者データセンターから取得することを試みています。さらに、DeepSeek はチップチームを編成しており、1000 を超えるプロセッサ規模のクラスターのテストを開始しています。

財聯社 10 月 20 日訊、アマゾンは現地時間19日にオープンソースツールTorchNeuronを発表し、開発者がNVIDIAのチップから自社開発のチップに移行する際のハードルを下げ、NVIDIAがCUDAに基づいて構築したソフトウェアの壁に挑戦することを目的としています。報道によると、このツールを使用すると、PyTorchで書かれたAIコードを再記述することなく、アマゾンの自社開発AIチップ上で実行できるようになります。PyTorchはMetaが主導して維持管理しており、多くのAI開発者が使用するオープンソースフレームワークとして説明されています。アマゾンのチップ設計部門Annapurna Labsは、TorchNeuronを利用することで、開発者は1つの設定を変更するだけで、同じコードを自社開発のTrainiumチップ上で実行できると紹介しています。アマゾンは現地時間19日にこのツールの発表を行い、20日にカリフォルニア州サンノゼで開催されるPyTorch大会で無料オープンソース形式で公開する予定です。Annapurna Labsのソフトウェア副社長Colin Braceはインタビューで、TorchNeuronの導入は開発者がアマゾンの自社開発チップを試すための手順を減らすためであり、顧客の既存の作業方法に基づいていると述べました。彼はすでに30社以上の初期顧客が利用しており、ロボット、ワールドモデル、音声AIなどの分野をカバーしていると明かし、アマゾンのチップに切り替えることでコストを削減できると述べました。

CoinDesk の報道によると、Cardano の創設者 Charles Hoskinson は、Cardano ネットワークのために新しいプログラミング言語を自ら開発しており、Input Output Global のエンジニア Lucas Rosa と協力していると述べています。Lucas Rosa は Cardano の主要なスマートコントラクト言語の一つである Aiken の共同創設者です。Hoskinson は X プラットフォームで、この言語がユーザーが取引を完了させたい操作と暗号学的証明を組み合わせた初のプログラミング言語になると投稿しました。この言語は、取引意図、証明を持つデータ、および Groth16 証明の三つのツールをサポートすることが紹介されています。取引意図は、ユーザーが達成したい目標を明示することを可能にし、具体的な手順はアプリに処理させることができます。たとえば、取引者は最終価格が設定した条件を満たすときにのみあるトークンを別のトークンに交換するよう要求でき、具体的な経路を示す必要はありません。証明を持つデータは、情報に暗号学的証拠を追加し、特定のルールに準拠していることを証明します。他のアプリは再計算することなく検証できます。Groth16 は広く使用されている証明システムで、小さなサイズで高速に検証できる証明を生成し、プライバシーデータを公開することなく条件が満たされていることを証明します。三者が組み合わさることで、開発者は取引を調整し、複雑な条件をチェックし、サービス間で検証済みの情報を伝達するアプリを構築でき、最終的に Cardano が小型の証明を検証します。現在、Cardano の開発者は主に Haskell ベースの Plutus および Aiken を使用してスマートコントラクトを作成しており、Hoskinson の Input Output Global が構築したプライバシーブロックチェーン Midnight には独自の言語 Compact があります。この新しい言語の名称、公開コード、およびリリース日は現在のところ発表されていません。

美光テクノロジーの副社長、李哲はソウルのCOEXで開催された韓国半導体展SEDEX 2026において、同社が物理AI向けのエッジ推論メモリEIMを開発中であると述べました。業界ではこの製品が2028年下半期に量産されると予測されています。美光はEIMをLPDDR6に適用し、自動運転やヒューマノイドロボットなどの低消費電力DRAMの需要に応えることを研究しており、主要顧客と関連製品について議論を進めています。科創板日報によると、EIMはAIチップとメモリの間に位置し、LPDDRをロジックチップの上にスタックすることで、高速に推論データを処理する方法を採用していますが、計算アーキテクチャはまだ完全には公開されていません。李哲は、現在のロボットAIモデルは約10億から20億のパラメータを持ち、帯域幅の要求は高くないと述べました。より高度な視覚言語モデルが登場した場合、LPDDRだけでは不十分であり、最終的にはHBMがヒューマノイドロボットに使用されることになるとしています。美光は、将来的に高性能のヒューマノイドロボットには約200GBのDRAMと4TBのストレージが必要になると予測しており、現在のサービスロボットは約12GBのDRAMと256GBのストレージを持っています。美光のCEO、サンジャイ・メロトラは、ヒューマノイドロボットの単体ストレージ容量は一般的なL2+乗用車の約10倍であり、ストレージ業界は2030年頃から数十年にわたって持続的な需要の増加に入る可能性があると述べています。その理由は、数百のセンサーからのデータを同期処理し、ローカルで大規模モデルを実行してミリ秒単位の制御を行う必要があるからです。Counterpoint Researchは、世界のヒューマノイドロボットのDRAM需要が今年の約8300Tbitから2030年には約17.2万Tbitに増加すると予測しています。

Zcash ネットワークの新しいソフトウェア Zakura チームが発表した技術記事によると、NEAR Intents を通じて行われる各 ZEC 交換に対して独立したビューキーを割り当てる計画がある。これは、将来的に量子コンピュータが公開された返金アドレスを利用してユーザーの支払い履歴を推測する脆弱性を封じるためである。NEAR Intents はクロスチェーンのトークン交換をサポートしており、ユーザーがプライバシーコイン ZEC を USDC に交換する際、このサービスは NEAR パブリックチェーン上にユーザーの Zcash アドレスを公開し、未使用の ZEC を返金するために使用される。Zcash アドレスはウォレットのビューキーによって生成された公開鍵を含んでおり、通常のコンピュータでは逆算できないが、Shor アルゴリズムを実行する大規模な量子コンピュータは理論的にアドレスから鍵を逆算することができる。Zcash ウォレットは複数の無関係に見えるアドレスを生成できるが、これらは通常同じビューキーを共有している。攻撃者が一度これを解読すると、アカウントが受け取ったすべての支払いを関連付けて金額やメモを読み取ることができる。Zakura の提案は、各交換に独立したビューキーを割り当てることであり、支出キーはユーザーのメインアカウントに保持されるため、将来的に返金アドレスが解読されても、攻撃者はその交換に関連する支払いのみを見ることができる。この設計は実際の問題も解決している。数百件の交換を行うウォレットは数百のキーを生成し、バックアップから復元する際には各キーを使って Zcash チェーン全体をスキャンする必要がある。Zakura の解決策は、プライベートにクエリできるデータベースであり、プライベート情報検索技術を採用している。ウォレットが返金の行き先を問い合わせる際、データベースはそのクエリされたアドレスを知ることはない。Zakura は、オープンソースライブラリに基づいて構築されたウォレット（Vizor を含む）が今後数週間内にこの機能を追加できると述べており、ハードウェアウォレットはファームウェアのサポート後に続く予定で、Zcash 開発者が今月設定した 1 月の抗量子支払い目標よりも早く実現する見込みである。