日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

週刊ニュースレター購読
推論モデルarXiv:2608.07077

トランスフォーマーは創発的な世界モデルをうまく使えない:ハノイの塔の再訪と思考の錯覚

Transformers Struggle to Use Their Emergent World Models: Revisiting the Tower of Hanoi, and the Illusion of Thinking

シェア:XThreadsFacebookLINEはてブBluesky

ハノイの塔の変種課題において、小規模トランスフォーマーは世界モデルを獲得するが、大規模推論モデルは表現が劣化して失敗することを示し、その因果関係を解明した論文。

詳しい要約

1. どんなもの?

本論文は、Tower of Hanoiパズルにおける大規模推論モデル(LRM)の性能低下の原因を、メカニスティックな解釈可能性手法を用いて分析した研究である。標準的なTower of Hanoiは解けるが、初期状態と目標状態が単一のペグに限定されないflat-to-flat変種では困難であることを示す。小規模Transformerをスクラッチで学習し、その内部表現を解析することで、モデルがパズルの状態空間(Sierpinski三角形)の幾何学的に忠実な世界モデルを獲得していることを発見する。さらに、フロンティアのLRMであるQwen3.6-27BとDeepSeek-R1-Distill-Qwen-32Bが、プロンプト終了時にはほぼ完全な世界モデルを符号化しているにもかかわらず、リング数が3を超えるとタスクの大半で失敗することを示す。その失敗の原因は、計画中の世界モデルの表現の減衰にあると特定し、推論時にプロンプト時点の表現を注入することで性能が改善することを示す。

2. 先行研究と比べてどこがすごい?

先行研究では、LRMがTower of Hanoiのflat-to-flat変種で性能が低いことが報告されていたが、その原因は不明であった。本論文は、小規模Transformerの解釈可能性分析とLRMへの適用を組み合わせることで、モデルが世界モデルを構築しているが、それを維持できないという新たな視点を提供する。従来の研究は性能の欠如に焦点を当てていたが、本論文は表現の減衰というメカニズムを因果的に示し、性能が部分的に回復可能であることを実証した点が優れている。

3. 技術・手法の肝は?

手法の肝は、小規模Transformerをスクラッチで学習し、解釈可能性技術(線形プロービング、因果介入など)を用いて内部表現を分析することである。具体的には、Sierpinski三角形の座標を線形分離可能な表現としてモデルが獲得していることを示し、その表現がパズル解決に因果的に関与していることを明らかにする。さらに、LRMに対しては、プロンプト終了時と計画中の異なる段階でプロービングを行い、表現の減衰を測定する。そして、推論時にプロンプト時点の表現を注入することで、性能が改善することを示し、因果性を確立する。

4. どうやって有効だと検証した?

有効性の検証は、小規模TransformerをTower of Hanoiの解法トレースで学習し、その性能を評価するとともに、解釈可能性手法で世界モデルの存在と因果的関与を確認した。LRMについては、Qwen3.6-27BとDeepSeek-R1-Distill-Qwen-32Bをflat-to-flat変種でテストし、リング数が3を超えると失敗することを示した。さらに、プロービングにより世界モデルの表現が計画中に減衰することを観測し、表現注入による性能改善実験で因果性を実証した。

5. 議論はある?

議論として、LRMが世界モデルを構築する能力はあるが、それを維持する能力に欠けることが示された。これは、モデルの推論能力の限界ではなく、表現の維持メカニズムの問題であると解釈できる。また、表現注入による性能改善は部分的であり、完全な回復には至らないため、他の要因も関与している可能性がある。さらに、小規模TransformerとLRMの間の挙動の違いは、スケールや学習手順の違いに起因するかもしれないが、要旨からは詳細は不明である。

6. 次に読むべき論文は?

要旨で参照されている研究は、Tower of Hanoiの先行研究(標準的な定式化とflat-to-flat変種の性能差を報告したもの)と、解釈可能性技術(線形プロービング、因果トレーシングなど)に関する研究である。また、関連手法として、mechanistic interpretabilityの分野の研究(例えば、transformerの内部表現の分析)や、chain-of-thought推論の研究が挙げられる。具体的な論文名は要旨に明記されていないため、同分野の定番として、"Interpretability in the Wild: a Circuit for Indirect Object Identification in GPT-2 small"や"Towards Monosemanticity: Decomposing Language Models With Dictionary Learning"などが考えられる。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Devin Pereira, Willem Zuidema

分類: cs.AI, cs.LG

原文アブストラクト

The Tower of Hanoi is a simple planning puzzle that in prior work has proven challenging for large reasoning models (LRMs). Current models solve the standard formulation of the puzzle, but still struggle with the flat-to-flat variant (where initial and goal states are not restricted to have all rings on a single peg). This paper presents an in-depth study of how both small, in-house Transformers and large, third-party LRMs solve this task. To understand the failures mechanistically, we first train small Transformers from scratch on precomputed solution traces. Using a variety of interpretability techniques, we show that these Transformers develop an emergent world model: a linearly decodable, geometrically faithful representation of the puzzle's state space (the Sierpinski triangle), that is causally involved in solving the puzzles. Second, we return to the large LLMs and apply our techniques to two frontier reasoning models, Qwen3.6-27B and DeepSeek-R1-Distill-Qwen-32B, that attempt to solve the task through extended chain-of-thought. Surprisingly, we find that both models encode the Sierpinski world model near-perfectly at the end of the prompt, and yet fail at the majority of tasks when there are more than 3 rings. We locate the source of this failure in the decaying representation of the world model. We probe for the representation at different stages during planning, and establish causality by showing that performance can be improved by injecting the prompt-time representation at inference. The failure of the models is thus one of maintenance of the required representations, not their absence, and performance is at least partially recoverable. These results thus reframe the reported collapse in performance from prior work: current Large Reasoning Models build a world model, and then lose it.