この記事に掲載されている図には、技術的な観点から違和感を覚えます。
特に、System 2 の隣に SSM（State Space Model）が並べられている点が不自然です。より正確には、System 2 は現状の Transformer や SSM 単体では実装不可能であると言うべきでしょう。System 2 は、統計的なアプローチによる「もっともらしさ」の追求だけで実現できるものではありません。
graph TD
subgraph Layer3 [Layer 3: Orchestration]
RAG[RAG]
ReAct[ReAct]
MCP[MCP]
Agents[Agents]
end
subgraph Layer2 [Layer 2: Inference Strategy]
CoT[CoT]
ToT[ToT]
Planning[Planning/Search]
end
subgraph Layer1 [Layer 1: Architecture]
Transformer[Transformer]
SSM[SSM]
RWKV[RWKV]
MoE[MoE]
end
Layer1 --> Layer2
Layer2 --> Layer3
| レイヤー | 構成要素（例） | 本質的な役割 |
|---|---|---|
| Layer 1: Architecture | Transformer, SSM, RWKV, MoE | 統計的な計算効率と表現力。計算複雑性をどう克服し、並列性をどう担保するかという 「土台」 の議論。 |
| Layer 2: Inference Strategy | CoT, ToT, Planning/Search | 統計モデルの「回し方」。モデルに思考プロセスを模倣させ、統計的な妥当性を高めるための 「手順」 の議論。 |
| Layer 3: Orchestration | RAG, ReAct, MCP, Agents | 外部世界とのインタフェース。モデルが感知できない最新情報や外部ツールと連携するための 「運用の仕組み」 の議論。 |
元の図の作成者にとって、AI は「課題を解決するための魔法のツール」の詰め合わせに見えているのかもしれません。しかし、以下の境界線が曖昧になっているように見受けられます。
- SSM と System 2 を並列に扱っている点: どちらも「近年の研究で注目されている概念」ではありますが、これらを時間軸の右側に置くだけで「進化」として描くのは飛躍があります。
- レイヤーの混同: 建築に例えれば、「コンクリートの配合（Layer 1）」と「間取りの設計思想（Layer 2）」、そして「スマートホームの連携規格（Layer 3）」を横一列に並べて、「将来の住宅の姿です」と提示しているようなものです。
System 2 は、これらの技術進展の延長線上にあるものではなく、全く別の枠組みです。先人がなぜ System 1（直感的・高速）と System 2（論理的・低速）を明確に切り分けたのかを再考すべきです。System 1 をどれほど高度化しても、それは本質的な System 2 にはなり得ません。
もちろん、System 2 を並列化、あるいは「平行化」して高速化する道は存在します。これを実現するには、単なる計算資源の投入ではなく 「並列思考」 の実装が必要となります。人間の生体脳は、このプロセスを高度に行っている可能性がありますが、それでも System 2 が System 1 とは別物であるという事実は変わりません。
現状、System 2 という「棚」に置かれている実用的なツールは極めて限定的です。
- 述語論理・一階論理
- 形式証明系（Coq、Lean 等）
- SAT ソルバー・SMT ソルバー
- 記号的計画（STRIPS 等）
- 制約充足問題（CSP）
この棚は実在していますが、現時点では非常に閑散としています。
「閑散とした棚」にある、本物の知能の断片
| アイテム | 性質 | 「統計モデル」との決定的な差 |
|---|---|---|
| 述語論理・一階論理 | 厳密な記述 | 「だいたいこんな感じ」を許容しません。すべての前提が整合していなければ、即座に矛盾として破綻します。 |
| 形式証明系 (Coq, Lean) | 無謬性の検証 | 「もっともらしい説明」ではなく、一歩一歩の推論が数学的に正しいことを機械が 100% 保証 します。 |
| SAT/SMT ソルバー | 充足可能性の判定 | 膨大な制約の中から「真理」を導き出します。統計的な推測ではなく、論理的な 「解」 です。 |
| 記号制約計画 (STRIPS) | ゴールへの逆算 | 現状と目標の差を論理的に分解し、ステップを組み立てます。LLM の場当たり的な出力とは対極にあります。 |
| 制約充足 (CSP) | 枠組みの遵守 | 定められたルールを厳格に遵守します。外れても言い訳ができる統計的世界とは一線を画します。 |
なぜ、この棚は「閑散」としているのか
この領域が賑わいを見せない理由は明確です。それは、現時点では 「使いにくい」 上に、ビジネス的な 「夢がない」 からです。
- 記号接地問題（Symbol Grounding）: 現実世界の曖昧な事象を、精密な記号へと変換するコストが極めて高い。
- 組合せ爆発: 統計モデルは「直感的」に有望な道を選びますが、論理ソルバーは愚直に推論を追うため、問題が複雑になると計算量が爆発的に増加します。
- 評価のシビアさ: 「なんとなく動いていて面白い」という評価が通用しません。0 か 1 か、正解か不正解かの世界であり、ビジネスにおいて「お茶を濁す」ことが不可能です。