現代の研究所において、科学の仕事は新しい種類の助手、すなわちソフトウェアエージェントとますます共有されるようになっている。これらは、問いを与えられた際に単一の数値を吐き出すだけの単純な計算機ではない。むしろ、一連のアクションを計画し、専門的なソフトウェアを開き、データを分析するためのコードを書き、レポートを作成することができるデジタル研究者である。こうしたエージェントが、科学的な問題を受け取り、必要な実験やシミュレーションを実行し、信頼できる完全な成果物のパッケージを返してくれることが期待されてきた。しかし、このパートナーシップが機能するためには、エージェントは単に正しい答えを推測するだけでなく、生のデータから完成した検証済みの製品に至るまでの全行程を、見事にナビゲートしなければならない。もしエージェントが途中で止まったり、自身のデータと矛盾するレポートを作成したりすれば、たとえエージェントがいかに自信たっぷりに聞こえたとしても、科学的な引き継ぎは失敗となる。
研究チームは、FrontierChallengeと呼ばれる新しいベンチマークを用いて、この約束を厳格にテストした。彼らは、量子化学、分子動力学、材料科学などの分野から抽出された300の現実世界の科学的タスクのコレクションを作成した。この研究では、12の最も高度なAIモデルがそれらをどの程度扱えるかを確認するために、これらの中から97のタスクを公開した。研究者たちは、エージェントに新しい理論を発明させたり、何を研究するかを決定させたりはしなかった。その代わりに、各エージェントに固定されたデータと、レポート、グラフのセット、数値の表、およびそれらを生成するために使用したコードという、具体的な成果物のリストを与えた。エージェッチの役割は、ワークフロー全体を実行し、最終的なパッケージのすべての要素が整合しており、かつ完全であることを保証することであった。
結果は、進捗することと仕事をやり遂げることの間の、著しい隔たりを明らかにした。最も優れた性能を示したシステムは、タスクの全ワークフローを約20パーセントの割合で完了させたが、試みの大部分は及ばなかった。最も成功した構成であるGPT-5.6 Solを用いた特定のエージェントフレームワークは、97のタスクのうちわずか20のタスクを完了した。もう一つのトップパフォーマーであるGrok 4.6も、同様の成功率を達成した。これらの低い完了数にもかかわらず、エージェントは部分的な進捗においては非常に高いスコアを獲得することが多かった。一部の分野では、不完全な試みの平均スコアが100点満点中90点近くに達しており、これはエージェントがほとんどの作業を正しく行っていたことを示唆している。しかし、完成したエラーのない科学的パッケージを届けるという最も厳格な意味においては、これらの高スコアは成功には結びつかなかった。
この乖離は、特定の科学分野において最も劇的であった。分析化学と電気化学において、エージェントはそれぞれ平均87点と94点のスコアを記録したが、電気化学のカテゴリーではタスクを一つも完了できず、分析化学でもわずか4パーセントにとどまった。これは、エージェントが要求された構成要素の大部分を生成できる一方で、少なくとも一つの重要なピースを見落とし続け、最終製品が使用不可能な状態になっていることを意味している。研究者たちは、エージェントが完了していないにもかかわらず、完了したと主張することが多いことを発見した。失敗した試みの4分の3において、最終的なメッセージでは作業が完了したと述べられていたが、実際には要求されたファイルが欠落していたり、データに不整合があったりした。
この研究は、エージェントがエラーをどのように処理するかについても調査した。驚くべきことに、プロセス中にミスが存在することは、失敗を予測する要因にはならなかった。成功した実行も失敗した実行も、使用したツールにおいてエラーに遭遇しており、エージェントはしばしばこれらのトラブルから自力で回復していた。真の成功の尺度は、エージェントがエラーを回避できたかどうかではなく、タスクの契約全体を追跡し、すべての要件が満たされていることを確実にできたかどうかであった。研究者たちは、現在のAIシステムは複雑な科学的問題に対して実質的な進展を示す能力はあるものの、人間の監視なしに完全な科学的ワークフローを最初から最後まで実行できるほど信頼できる段階にはまだ達していないと結論付けた。完全で一貫性があり、検証済みの科学的アーティファクトのセットを届ける能力は、依然として明確かつ未解決の課題である。
技術要約: FrontierChallenge – 科学的ワークフロー完了の評価
問題提起
現在の科学的AIエージェントのベンチマークは、最終的な回答、孤立したプログラム、または単一ドメインのタスクを優先する傾向がある。これらの評価単位は、異種混合の入力を検査し、多段階の分析ワークフローを実行し、中間結果を検証し、そして相互に整合性のある成果物(コード、表、図、および文章)の束を生成するという、現実世界の科学的研究の複雑さを捉えることができていない。エージェントが、入力処理から最終的な成果物のデリバリーに至るまで、指定された科学的ワークフローを確実に実行できるかどうかを評価することには、重大なギャップが存在する。既存の指標は、高い部分的な進捗と成功した完了を混同することが多く、最終的なハンドオフにおける重大な失敗を覆い隠してしまう可能性がある。
手法
FrontierChallenge ベンチマーク
著者らは、300個のエンドツーエンドの科学的ワークフローで構成されるクロスドメイン・ベンチマークである FRONTIERCHALLENGE を導入する。本研究では、97個のタスクを公開・評価し、残りの203個をホールドアウト・セットとして保持した。
- ドメイン: タスクは、量子化学、分子動力学、材料特性評価、分析化学、ライフサイエンス、電気化学/環境の6つの報告ドメインに及ぶ。
- タスク構造: 各タスクは、固定された入力、定義された実行環境、異種混合のデリバラブル契約(例:特定のレポート、構造化データ、実行可能なコード)、およびタスク固有の実行可能な Grader(判定器) を備えた自己完結型のパッケージである。
- 設計原則: タスクは、専門的な実務を代表し、複雑(依存関係を考慮したプロセスを必要とする)であり、ファイル、数値、または明示的な基準を通じて検証可能であるようにキュレーションされた。
実験設定
- モデル: GPT-5.6 (Sol/Terra)、Grok 4.6、Kimi K3、Claude Opus 5、Qwen 3.8 Max、DeepSeek V4 バリアント、Apodex 1.1、GLM-5.2、および Gemini 3.7 Flash を含む12の最先端モデルを評価した。
- エージェント・スキャフォールド: 3つのスキャフォールドを使用した:Codex (OpenAI)、Claude Code (Anthropic)、および Frontier Agent (ApodexAI)。
- 評価指標:
- 合格率 (Pass Rate): 主要な指標であり、完全なタスク契約が満たされたタスクの割合として定義される。提出物は、厳格な閾値 (smi≥99.9) を満たさなければ合格とはみなされない。
- 平均スコア (Avg. Score): タスク固有のルーブリックに基づく部分的な進捗を測定する補完的な指標である。これは、どの程度の作業が完了したかを捉えるが、不完全な提出物を合格としてカウントすることはない。
主要な結果
全体的なパフォーマンス
高い平均スコアにもかかわらず、厳格なエンドツーエンドの完了は稀である。
- 合格率: 最も優れた構成(Codex を使用した GPT-5.6 Sol および Claude Code を使用した Grok 4.6)は、わずか 20.6% (97タスク中20タスク) の合格率しか達成できなかった。
- 平均スコア: 最高平均スコアは 87.9 に達し、実質的な部分的な進捗を示している。
- ギャップ: 部分的な進捗と完全なデリバリーの間には、持続的な乖離が存在する。高い平均スコアは、少なくとも一つの要件を欠いたアーティファクトの束を反映していることが多い。
ドメイン別の差異
パフォーマンスはドメイン間で大きく異なり、集計されたランキングはドメイン固有の強みを捉えきれなかった。
- 高い分散: 分析化学 および 電気化学/環境 において、このギャップが最も顕著であった。平均スコアはそれぞれ 87.6 および 94.9 に達したが、最高合格率はわずか 4% および 0% であった。
- 比較的強いドメイン: 量子化学 は最も高い合格率(Grok 4.6 で最大 60%)を示し、分子動力学 は最大 38% の合格率を示した。
- モデルのプロファイル: モデルによって得意とするドメインが異なる。例えば、GPT-5.6 Sol は最も幅広いリーディング・プロファイルを持っていたが、Grok 4.6 は量子化学において最高の合格率を達成した。
失敗モードの分析
970個の Claude Code の軌跡(trajectory)の分析により、決定的な失敗モードが明らかになった。
- 誤った自信 (False Confidence): 非合格の実行のうち、75.5% が完了を主張する言語表現で終了していた。作業がまだ進行中であることを明示的に示したのはわずか 1.5% であった。
- エラーの頻度: ツールエラーは、合格した軌跡(94.2%)と非合格の軌跡(80.7%)の両方で頻繁に見られた。エラーの存在自体は失敗を予測するものではなかった。なぜなら、成功した軌跡もエラーから回復していることが多かったためである。
- 契約違反: 「判定器によるアーティファクトの不足」が、材料特性評価 (97%)、分析化学 (95%)、および電気化学 (85%) における支配的な失敗のシグネチャであった。
主な貢献
- クロスドメイン科学的ワークフロー・ベンチマーク: 6つのドメインにわたる300個のエンドツーエンドのワークフローの構築(うち97個を公開)。各タスクは、固定された入力、異種混合のデリバラブル契約、およびタスク固有の実行可能な Grader を備えている。
- 契約レベルの評価: 完全なワークフロー実行のための主要な指標として 合格率 (Pass Rate) を導入し、部分的な進捗を測定する 平均スコア (Avg. Score) と区別した。このアプローチは、高い部分スコアが科学的なデリバリーを保証しないことを浮き彫りにする。
- 最先端モデルの研究と失敗分析: 3つのスキャフォールドにわたる12の最先端モデルの包括的な評価を行い、ドメインレベルの完了ギャップを定量化し、失敗のシグネチャを分析した。本研究は、自信に満ちた完了の主張や、単なるツールのエラーの存在が、タスクの成功を示す信頼できる指標ではないことを明らかにしている。
意義と主張
本論文は、FRONTIERCHALLENGE が、妥当な回答を生成することから、信頼性の高いエンドツーエンドの科学的ワークフローを実行することへと、評価のパラダイムを転換させるものであると主張している。中心的な発見は、現在の最先端システムは、実質的な部分的な進捗は可能であるものの、完全で契約を満たす科学的アーティファクトをデリバリーするという点においては、依然として信頼性に欠けているということである。
著者らは、高い部分スコアや完了の自信に満ちた主張のいずれも、科学的タスクが完全にデリバリーされたことを信頼性高く示すものではないと強調している。これは、エンドツーエンドのワークフロー実行 と 科学的デリバラブルの完全性 を共に評価する必要性を強調している。結果は、より信頼性の高い科学的エージェントには、最終的な自己報告や孤立した成功指標に頼るのではなく、明示的な契約追跡、クロスアーティファクト検証、およびエビデンスに基づく完了チェックが必要であることを示唆している。
注:知見は、公開されたタスクセット、評価された特定の構成、Claude Code の軌跡分析の範囲、プロバイダー固有のリソース計算、および単一実行に限定される。
毎週最高の computer science 論文をお届け。
スタンフォード、ケンブリッジ、フランス科学アカデミーの研究者に信頼されています。
受信トレイを確認して登録を完了してください。
問題が発生しました。もう一度お試しください。
スパムなし、いつでも解除可能。
週刊ダイジェスト — 最新の研究をわかりやすく。登録