新着研究 / AI Agent / LLM
変数を一つずつ動かし仮説を見直す、LLMの探究を支える手順と検証器を評価
Guided Inquiry Learning
Guided Inquiry Learningの原論文から掲載した図です。細部はクリックして拡大できます。
原論文の図の説明を読む
Figure 1: The agent explores the environment by collecting datapoints and engages in iterative hypothesizing to infer the underlying mathematical model.
概要
- 値を操作して観測を集め、未知の多変数式を発見する対話環境で、探索・仮説・推論の連携を測る。
- 一変数ずつ変える指示、観測の解釈、仮説提出の順序、外部の正解検証を組み合わせると多くのモデルで改善した。
- 統制された決定的な数式環境であり、雑音を含む科学実験や開かれた因果発見全般を評価したものではない。
補足:編集した模式図で仕組みを確認する
VISUAL EXPLAINER
図でつかむ、Guided Inquiry Learningの仕組み
- 01未知式の変数を設定
- 02結果を観測し解釈
- 03仮説を提出し検証
- 04次の探索へ反映
原論文の説明をもとにした模式図です。処理の細部は省略しています。
研究の背景
LLMが仮説を作れることと、有効な実験を選んで観測から仮説を更新できることは別である。一度に多くの変数を変えると、結果がどの変更によるものか読み取りにくく、同じ推測を繰り返すだけになることもある。
本研究は未知の数式を環境として、探索、観測解釈、仮説の連鎖を調べる。答えの正誤だけでなく、どの値を変え、何を発見し、どう考え直したかを記録し、人の探究学習で使われる足場掛けが有効かを検証する。
手法
環境は3〜5の独立変数と一つの出力を持ち、四則演算で値を決める。エージェントは値を設定する行動、観測、推論、仮説を履歴へ追加し、式を推定して終了する。自由なIL条件では次にどの種類の段階を出すかもモデルが選ぶ。
GIL条件は外部ガイドが段階の順を決め、一度に一変数だけ変えること、出力との定量的な関係を考えることを促す。一定観測数の後に仮説を出させ、正解を知る検証器の結果を履歴へ戻して最大三循環を行う。例えばAだけを増やし、出力が一定量増えるか倍率で変わるかを調べて式の候補を絞る。
新規性
固定の入出力例から式を当てる課題を、モデルが例を取りに行く相互作用へ拡張した。探索方針と推論能力が結果へどう関係するかを、全履歴から分析できる点が特徴となる。
ガイドは訓練で重みを変えるものではなく、推論時の指示と段階制御である。ただし正解検証器も追加するため、改善を一文の助言だけの効果と見なさず、外部支援を含む探究手順全体として評価する。
従来手法との違い
基準のILに対し、推論段階を除く、仮説段階を除く、探索を統制する、検証器だけを加える条件を比較する。推論を取り除くと多くのモデルで悪化し、一変数ずつの探索を与える条件では複数モデルが改善した。
GILの全支援は多くの条件で有効だが、常に最良ではない。Qwen-32Bの一例提示ではIL 22.4%に対し全支援20.7%で、より良い部分支援条件もある。指示を増やせば一律に性能が上がる結果ではない。
実験結果
七LLMを174の異なる式で評価し、例なし、一例、三例の条件を比較する。式を正規化した同値性を正解基準とし、行動履歴では一変数変更、仮説反復、観測の定量的解釈などを人が分析する。
例なしのLlama-70BはIL 12.6%からGIL 24.7%、三例のQwen-32Bは20.1%から25.3%となった。分析した履歴では戦略的な探索が例なしで21.63%から91.64%へ増えた。探索の改善ほど最終正答が高くなるわけではない点も読める。
応用の可能性
編集上の応用案 · 論文が実証した用途とは区別しています。
編集上の応用案として、ソフトウェア設定の挙動を調べる検証用エージェントに使う。入力は小さな模擬システムと変更可能なパラメータ、出力は各試行の値、応答、仮説、次に調べる条件の記録である。
一度に複数設定を変える試行を抑え、何を切り分ける実験かを明記させる。最終的な原因断定より、担当者が再現できる観測と仮説更新の履歴を残すことを目的にすれば、探究の支援を実務へ移しやすい。
導入時の検証
導入時の検証案 · 対象データでの再評価が必要です。
導入時の検証案では、正解を隠した単純な模擬関数から始め、自由探索、一変数変更の指示、段階制御、検証器追加を順に比較する。総観測回数を揃え、支援の種類ごとの改善を測る。
式の正答率、重複試行、情報を増やす変更、反証後の仮説修正率を記録する。次に雑音や操作不能変数を加え、正解を直接返せない状況でも確認用データで候補を評価できるかを検証する。探索費用と計算費用も分けて数える。
限界と課題
環境は既知の演算子で作る決定的な式で、実科学の測定誤差、潜在変数、介入の制約を含まない。GILの検証器は正解を知るため、現実の未知機構の研究で同じ支援をそのまま使えるとは限らない。
編集上の確認点は、限られた予算で識別力のある実験を選べるかと、偽の仮説を反証後に捨てられるかである。特定の変数変更規則を守る割合が高くても、相互作用を見抜くには足りない場合がある。一般的な科学的発見能力との距離を残して読む必要がある。
出典
元のタイトル・要旨を確認する(英語)
Evaluating Inquiry Learning in LLM-Based Agents: Hypothesizing, Reasoning, and Exploration
Scientific inquiry involves iterative cycles of exploration, hypothesis generation, and reasoning over observations to uncover relationships in complex systems. Large language models (LLMs) have demonstrated strong capabilities in several components of this process, including inductive reasoning, hypothesis generation, and data analysis. However, prior work typically evaluates these abilities in isolation, leaving open how models integrate them across a full inquiry cycle. In this work, we introduce a framework for evaluating LLMs' inquiry capabilities in a unified, interactive setting. We extend the Countdown task to a mathematical environment where an agent probes the system by manipulating variables, collecting observations, and inferring relationships between them. This setup enables analysis of exploration strategies, causal discovery, and hypothesis refinement during inquiry. Across seven LLMs and multiple prompting strategies, our experiments reveal limited inherent inquiry capabilities and low success rates in discovering the underlying expressions. However, structured guidance inspired by educational scaffolding significantly improves performance. Our findings highlight current limitations of LLMs in strategic exploration and iterative hypothesis refinement, and show how simple guidance strategies developed for human learners in inquiry learning can support more effective inquiry behavior.
論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。収集:2026-10-16




