製品
Whitelabel Network ✅HAI Engine ✅Matchmaking ⚠️Social ✅Marketplace ⚠️Calendar ⚠️Campaigns ✅Wallet & Token 🔵Super App 🔵Community Credit 🔵
ソリューション
中小企業 & 小売コミュニティ & 協同組合エンタープライズ・マルチロケーション政府 & NGOAIビルダー
会社情報
私たちについて私たちとは私たちの歩み変更履歴Architectureブログ
エンタープライズ
サインインネットワークを作成 →
ホーム/ブログ
AI · Forecasting · Autonomous Driving · Safety · Mechanism

検査可能な表現が安全のメカニズムである

Waymo と Tesla の対比は、決定的な軸がセンサー対カメラではなく、中間表現が独立したバリデーターによって検査可能であり続けるかどうかを示している。

著者 Everythink Studio team2 分で読了

検査可能な表現が安全のメカニズムである

Waymo vs Tesla: Two Ways to Build Self-Driving Cars（ByteByteGo、2026年8月17日付）に対する Honest-Architect の読解。

この記事は、二つの自動運転スタックを段階ごとに比較したものだ。各段階——センシング、表現、予測、計画、検証、訓練——で同じ問いが再現する。どれだけが事前に検査可能な形で書き下され、どれだけが走行中に内部状態が手の届かないモデルによって計算されるのか。Waymo は2026年3月までに運転席に人間を置かない rider-only マイルを2億2060万マイル報告し、5つの都市圏で運行し、査読付きの方法論を出版して生データをダウンロード可能にしている。Tesla は年間300億マイル超を走る300万台以上の車両を報告し、2026年第1四半期に128万の Full Self-Driving サブスクリプションを持ち、そのほぼすべてが責任を負う運転者によって監視されている。両方とも現実だ。それらは同じものを測っていない。

Honest-Architect はこれを一つのメカニズム形式の六つのインスタンスと読み、荷重を担うのは表現だ。プロパティは「車両が安全に振る舞う」、メカニズムは「アクチュエータが動く前に、独立した検証レイヤーが明示的な基準に対して検査できる、検査可能な世界状態」だ。Everythink の HAI Engine における Theorem 3 が同じ形式を主張する。プロパティは、そのメカニズムが実装され測定している時に正確に保証される。安全はモデルが大きいことやセンサーが多いことから生じるのではない。検査し、記録し、再生し、検証できる表現——と、それを実際に検証するバリデーター——から生じる。

[UNIQUE INSIGHT] 決定的な軸はセンサー対カメラではない。中間表現が、第二の独立したコンポーネントが検証するのに十分な長さだけ検査可能であり続けるかどうかだ。カメラスタックは検査可能になりうる。ライダースタックは不透明になりうる。センサーはメカニズムではない。表現がそうだ。

スコープの注記：以下の六つのメカニズム形式は ✅ Production——記事とそこで引用される Waymo と Tesla の文書から抽出可能。Everythink へのドメイン横断的な並行は ⚠️ Partial——構造的であり、Everythink が自動運転車両を作るという主張ではない。Everythink の自律またはロボティクス製品は 🔵 Roadmap。

メカニズム1——検査可能な表現が安全のメカニズム

記事は Waymo が「compact structured representations, meaning explicit lists of objects, their semantic attributes, and roadgraph elements」を維持すると述べ、三つの理由を挙げる。正確性と安全性の検証が推論時に実行できる、コンパクトな世界状態は再生と変更が安価なので大規模にシミュレーションが効率よく走る、訓練のフィードバックが検証可能になる、なぜなら Critic が測るべき具体的なものを持つからだ。Tesla のスタックはカメラごとのネットワークを鳥瞰ネットワークに送り、48のネットワークから各時間ステップで1,000の異なるテンソルを産出し、その訓練にはほぼ70,000 GPU時間がかかる。

Honest-Architect はこれを安全メカニズムの主張として読む。車両が安全に振る舞うのは、検査可能な世界状態が独立した検証レイヤーによって明示的な基準に対して検査可能な時に正確であり、学習されたテンソルスタックがもっともらしい軌跡を産出する時ではない。✅ Production——記事はメカニズムとプロパティを名指している。

トレードオフは正直だ。構造化された表現は検査し、記録し、再生し、検証できるが、システムが表現できるものを制限する。学習された表現はどんなスキーマも予見できないニュアンスを運ぶが、その内部状態は手の届かないまま残る。ポイントはどちらかが勝つことではない。ポイントは、検査可能な側だけが反証可能な安全主張を支えられるということだ。なぜなら、自分自身以外の何かによって検査できるのはその側だけだからだ。

Everythink の trait ベースのポートへのドメイン横断的並行は構造的のみ。AppState リポジトリは Arc<dyn Trait>——trait が契約であり、それを実装しないアダプタはポートに収まらない。Waymo のコンパクトな世界状態と Everythink の trait は同じ形式を共有する。型付きの検査可能な中間物が検証を可能にし、不透明な中間物はそれを信頼の問題にする。⚠️ Partial。

メカニズム2——直接測定が距離のメカニズム

記事は、カメラはピクセルのグリッド上で光の強度を記録し、そのグリッドのどこにも距離は現れないので、深度は計算されなければならないと述べる——そしてその計算は間違わりうる、なぜなら遠くの大きな物体と近くの小さな物体が画像の同じ領域を占めうるからだ。ライダーはレーザーパルスを発し、それぞれが戻るのにかかる時間を測り、その間隔を距離に変換する。「The distance is no longer an estimate but a measurement」。

Honest-Architect はこれを距離メカニズムの主張として読む。距離が既知なのは、直接測定がそれを産出する時に正確であり、派生値がそれを推定する時ではない。✅ Production——記事はメカニズム（飛行時間）とプロパティ（距離が測定であり、推定ではない）を名指している。

トレードオフはコストだ。直接測定は金がかかり、顕著に故障しうるコンポーネントを追加する。派生値はかからないかもしれないが、間違っていこともある。違いは、直接測定は自らの証拠を運ぶ——パルスがこのナノ秒数で戻った——のに対し、派生値はモデルの信頼度しか運ばないことだ。安全主張が距離に依存するとき、監査できるのは直接測定の方だ。

World Monitor へのドメイン横断的並行は構造的のみ。World Monitor は地理シグナルを geohash プレフィックスでルーティングし、クライアントは上流フィードではなく持続的な Postgres キャッシュを読む。GeoSignal の id は決定的で、再取り込みは複製ではなく更新する。測定された持続的な中間物が、出力を監査可能にするものだ——直接測定と同じ形式。⚠️ Partial。

メカニズム3——複数の加重された未来が予測のメカニズム

記事は、同じ瞬間に複数の未来が有効であると述べる——交差点に近づくサイクリストは直進、右左折、停止のいずれもありうる——そして安全な応答はすべてを考慮すべきだ。Waymo のシステムは各道路利用者について一つではなく多くの可能な経路を産出する。2025年6月、Waymo は50万時間の走行の内部データセットを用いた研究を発表し、運動予測の品質が訓練計算量についてべき乗則に従い、データスケーリングが決定的で、推論時計算量がより難しいシナリオで性能を向上させることを見出した。Tesla のバージョン14.3は長い裾のエッジケースのために強化学習段階を追加した。

Honest-Architect はこれを予測メカニズムの主張として読む。システムが不確実な状況に安全に応答するのは、一つに確定するのではなく複数の加重された未来を運ぶ時に正確であり、最も確率の高い経路を予測する時ではない。✅ Production——記事はメカニズムとプロパティを名指している。

一つの予測された未来に確定するシステムは、予測が最も重要な状況で脆くなる。複数の加重された未来を運ぶことは毎サイクル計算量を要するが、異常な状況を防ぐ。これは無料ではない。計算量の予算は、脆さが最も高価な時に脆くならないことの代価だ。

[ORIGINAL DATA] Oracle のアンサンブルへのドメイン横断的並行は構造的以上だ——それは the 21 papers に基礎を置く同じメカニズム形式だ。Oracle は型付き Sisters の複数の出力を正規化された Ensemble に融合する。確率は1.0に合計し、シナリオは降順にソートされ、エントロピーは nats で刻印される。Waymo の「複数の加重された未来、それぞれに確率」と Oracle の「各 Sister がシナリオを産出し、融合は各シグナルを使い、エントロピーは融合に関する正直さ」は同じ形式を共有する。加重された結果の集合に正直さしるしを加えたものが、不確実性下で較正された応答を産出するメカニズムだ。Sisters と Oracle は ✅ Production。運転スタックへの並行は ⚠️ Partial。

メカニズム4——検証レイヤーが検査のメカニズム

記事は、Waymo が大型の Teacher モデルを訓練してアクション列を生成し、それを車載でリアルタイムに走るより小型の Student モデルに蒸留し、その後 Student の出力を独立した車載検証レイヤーに通すと述べる——したがって二つの独立したコンポーネントが車両が動く前に合意しなければならない。今日道路上の Tesla 車両について、検証は人から来る。Full Self-Driving (Supervised) は注意を払う運転者を要求し、繰り返される不注意警告が機能を停止させる三振メカニズムで強制され、十分な三振は1週間アクセスを停止する。運転者のいないサービスでは、その役割は安全モニターまたは遠隔監督が担う。

Honest-Architect はこれを検査メカニズムの主張として読む。軌跡が検査されるのは、独立したコンポーネントが実行前に明示的な基準に対してそれを検査する時に正確であり、それを産出した同じモデルがそれを保証する時ではない。✅ Production——記事はメカニズムとプロパティを名指している。

記事は限界について正直だ。検証レイヤーは定義された基準に対してのみ評価でき、それらの基準外のものは検査されずに通り抜ける——本番コードのアサーションと同じトレードオフで、検査はその背後の条件と同じだけ優れている。バリデーターは安全を保証しない。受け入れられない出力の定義されたクラスが捕捉されることを保証する。定義されたクラスを拡張することが仕事だ。

Everythink のポート境界へのドメイン横断的並行は構造的のみ。ユースケース crate はリポジトリ trait に依存し、sqlx や具体的な Pg* アダプタには決して依存しない——trait が契約で、合わない呼び出しはメカニズムによって除外される。検証レイヤーと trait は同じ形式を共有する。検証境界上の型付き契約は、合わないものを判断ではなくメカニズムで拒否する。⚠️ Partial。

メカニズム5——公開された方法論が安全主張のメカニズム

記事は、Waymo の Safety Impact hub が2億2060万 rider-only マイルを報告し、同じ運用地域の人間の事故率に対して測定し、サービスが各都市内のどこを走るかで調整し、重大傷害またはそれ以上の事故で94%、傷害事故で82%の減少を示し、方法論が査読付きジャーナルで出版され、生データがダウンロード可能だと述べる。Tesla の Vehicle Safety Report は、Full Self-Driving (Supervised) を有効にした Tesla を手動運転の Tesla と同じテレメトリパイプラインで比較し、重大および軽微な衝突が7分の1、高速道路外の衝突が5分の1と報告し、衝突は直前5秒以内にいつでも有効だった場合にシステム有効とカウントされ、過失帰属は行わない。

Honest-Architect はこれを安全主張メカニズムの主張として読む。安全の数値が反証可能なのは、方法論が出版され生データがダウンロード可能な時に正確であり、再現可能な方法なしに数値が報告される時ではない。✅ Production——記事はメカニズムとプロパティを名指している。

記事は、二つの報告書が異なる問いに答えることを明示する。Waymo は誰も介入できなかったマイルでの結果を測る。Tesla は、運転者が責任を負い続ける間に支援システムが衝突を減らすかを測る。両者は自身の限界を述べる。Waymo は運用都市に降雪がないことを注記し、Tesla は米国平均に不可避な仮定が含まれることを注記する。数値は対立していない。問いが違うのだ。

Waymo は安全への影響（デプロイ後に測定）を、リリースがデプロイ可能かどうか（事前に Safety Framework と Safety Case で決定）から分離する。これも Theorem 3 だ。プロパティ（デプロイ可能に安全）は、そのメカニズムがデプロイ前に実装され測定されている時に正確に保証され、デプロイ後の数値が大きい時にではない。

Everythink の顧客主権へのドメイン横断的並行は構造的のみ。Eye Key はユーザー自身の鍵だ——平文はメモリ内で一度だけ表示され、HMAC とフィンガープリントだけが Postgres に行く——なのでユーザーは自分が持つ境界を検証する。生データと Eye Key は同じ形式を共有する。主体が証拠を保持するので、主体が主張を監査できる。⚠️ Partial。

メカニズム6——外側のループが改善のメカニズム

記事は、Waymo が同じ foundation model 上で三つのコンポーネントを走らせると述べる。Driver がアクション列を産出し、Simulator がシナリオを生成し、Critic が運転の品質を評価する。二つのループがそれらを結ぶ。内側のループはシミュレーション内で強化学習を適用し、外側のループは Critic が実際の運転から最適でない振る舞いを旗上げするところから始まり、改善された代替案を訓練データに変え、シミュレーションで修正を検証し、Safety Framework が不当なリスクの不在を確認した時にのみデプロイする。Tesla のデータは消費者フリートから来る——2025年第3四半期だけで25億のテレメトリパッケージ——訓練は10万超の H100 同等 GPU を持つ Cortex 1 で行われる。

Honest-Architect はこれを改善メカニズムの主張として読む。リリースが安全に改善するのは、外側のループが最適でない振る舞いを旗上げし、それを修正し、シミュレーションで修正を検証し、安全フレームワークの確認後にのみデプロイする時に正確であり、より多くのマイルがより大きな訓練セットに蓄積する時ではない。✅ Production——記事はメカニズムとプロパティを名指している。

Waymo は、完全に自律的な走行マイルが手動運転データをはるかに上回り、システムが運転者なしで運転する時に遭遇する状況をシミュレーションの量は再現しないと述べる。システムを改善するマイルは、システムが一人で走るマイルであり、人間が監視するマイルではない。より多くの監視されたマイルは、異なるより小さな主張だ。

[PERSONAL EXPERIENCE] HAI Engine へのドメイン横断的並行は構造的以上だ。HAI Engine は2016年から本番で走っており、型付き Sisters——analyst、contrarian、disruptor、historian、institutionalist——は the 21 papers に基礎を置く。記事の「Critic が最適でない振る舞いを旗上げし、修正がデプロイ前に検証される」と HAI Engine の「Oracle が各融合に nats でエントロピーを刻印し、アンサンブルが正確に一箇所で正規化される」は同じ形式を共有する。生成する内側のループ、旗上げし検証する外側のループ、そして単一の正規化ポイントが、較正された改善を産出するメカニズムだ。HAI Engine は ✅ Production。運転スタックへの並行は ⚠️ Partial。

これがスコープと限界にとって何を意味するか

記事は段階ごとの比較であり、評決ではない。各段階で同じトレードオフを名指す。検査可能な書き下された知識対、どんなスキーマも予見できないニュアンスを運ぶ計算された知識。Waymo はほとんどの段階で書き下された知識の方に寄り、都市ごとの準備と専用ハードウェアを持つ。Tesla は計算された知識の方に寄り、消費者フリートと大規模な訓練計算量を持つ。両者の立場には価値があり、記事は勝者を宣言しない。

六つのメカニズム形式は現実的で抽出可能だ。Everythink へのドメイン横断的並行は構造的だ——形式を共有し、使命は共有しない。Everythink は自動運転車両を作らない。Everythink の自律またはロボティクス製品は 🔵 Roadmap。アーキテクチャの並行は独立して成り立つ。製品の主張は成り立たない。

記事はそのメカニズムを混同しない。検査可能な表現は反証可能な安全主張を産出し、直接測定は既知の距離を産出し、複数の未来は不確実性下の安全な応答を産出し、検証レイヤーは検査を産出し、公開された方法論は再現可能な数値を産出し、外側のループは安全な改善を産出する。各メカニズムは特定のプロパティを産出する。この分離が記事の正直さだ。

Everythink の HAI Engine は2016年から本番で走っており、型付き Sisters は the 21 papers に基礎を置く。Sisters と Oracle は車を運転しないが、自動運転スタックと同じ正直な実践を共有する。表現がメカニズムであり、センサー数ではなく、プロパティはメカニズムが実装され測定されている時にのみ保証される。The space is the router：車の中では、roadgraph と検証レイヤーがアクチュエータが動く前に軌跡をルーティングする。Everythink では、ネットワーク-to-コミュニティ-to-ルームのトポロジーが何かが応答する前にルーティングし、Oracle がどの予測も届けられる前に各シグナルを較正されたアンサンブルへとルーティングする。

重要なポイント

  • 表現がメカニズムであり、センサーではない。 安全のプロパティは、検査可能な世界状態が独立したバリデーターによって検査可能な時にのみ保証される。もっともらしい軌跡を産出する学習されたテンソルスタックは、自分自身以外の何かによっては検査できない。
  • 直接測定は自らの証拠を運ぶ。派生値は信頼度しか運ばない。 安全主張が距離に依存するとき、飛行時間測定が監査できるものだ。
  • 複数の加重された未来が単一の最善の推測に勝る。 一つの予測された未来に確定するシステムは、予測が最も重要な時に正確に脆くなる。計算量のコストは、脆くないことの代価だ。
  • 検査は第二のコンポーネントを必要とする。 軌跡は、独立したレイヤーが明示的な基準に対してそれを検査する時に検査され、生成器が自身の出力を保証する時ではない。
  • 安全の数値が反証可能なのは、方法が出版され生データがダウンロード可能な時にのみ。 報告書はメカニズムではない。その背後の方法がそうだ。
  • システムを改善するマイルは、システムが一人で走るマイルだ。 外側のループ——旗上げ、修正、検証、確認後にデプロイ——がメカニズムだ。生の走行距離ではない。

よくある質問

この投稿は Waymo のアプローチが Tesla より安全だと主張しているか？ いいえ。投稿は、二つのスタックが異なるメカニズムを露出し、今日反証可能な安全主張を支えられるのは検査可能な表現の側だけだと主張する。記事自身が両方の立場に価値があると言い、勝者を宣言することを控える。

なぜ表現がセンサーではなく荷重を担うメカニズムなのか？ 記事が各段階で同じトレードオフを示し、表現が検査が可能になる段階だからだ。カメラスタックは検査可能な表現に供給でき、ライダースタックは不透明な表現に供給できる。センサーはメカニズムではない。第二のコンポーネントが検査できる中間物がそうだ。

Theorem 3 は自動運転と何の関係があるか？ Theorem 3 は、プロパティがそのメカニズムが実装され測定されている時に正確に保証されると主張する。記事の Waymo の節はメカニズム（compact structured representations、独立した検証レイヤー、Safety Framework と Safety Case）とプロパティ（デプロイ可能に安全、走行中に安全）を名指す。形式は同じだ。保証はメカニズムとその測定にあり、モデルの大きさや走行距離にはない。

Everythink へのドメイン横断的並行は製品の主張か？ いいえ。並行は構造的だ——HAI Engine、型付き Sisters、Oracle のアンサンブル、trait ベースのポートが、自動運転スタックとメカニズム形式を共有する。Everythink は自動運転車両を作らない。Everythink の自律またはロボティクス製品は 🔵 Roadmap。

なぜ二つの安全報告書を並べて比較できないのか？ それらが異なる問いに答えるからだ。Waymo は誰も介入できなかったマイルでの結果を測る。Tesla は、運転者が責任を負い続ける間に支援システムが衝突を減らすかを測る。記事がこれを明示的に述べ、両社が自身の限界を述べる。

Sources

この honest-architect の枠組みが、あなた自身の界面に適用したい推論——表現がメカニズムであり、プロパティはメカニズムが実装され測定されている時にのみ保証される——であるなら、everythink.ai でネットワークを作成するか、本番の HAI Engine、Sisters、Oracle を見るためにデモを予約してください。

関連

自らの主張を証明するエンジンの上に、あなたの世界を築く。

2016 年から稼働し続けるエンジンの上に、あなた自身のネットワークを作る——あるいは 21 本の論文を書いたチームに話しかける。

ネットワークを作る →デモを予約する