arXiv:2605.14968 GraphFlow：形式的に検証可能なビジュアルワークフローを通じて臨床パイロット完了率97.08%を達成

MedFlow Inc.のDrewry H. Morris V、Luis Valles、Reza Hosseini Ghomiは2026年5月15日にarXivで論文を発表し、エージェントAIシステムで最も知られる問題の一つ——マルチステップワークフローを通じて指数関数的に蓄積する累積エラー——に対する具体的な本番ソリューションを提示しました。

累積エラー問題とは具体的に何を意味するか？

著者たちは明確な数学的例を示しています：「90%の単ステップ信頼性を持つ10ステッププロセスは35%の時間しか正常に完了しない」。式は単純です——0.9^10 = 34.87%。ワークフローが拡大するにつれて問題は指数関数的に蓄積します：

• 5ステッププロセス：0.9^5 = 59%信頼性
• 10ステッププロセス：0.9^10 = 35%
• 20ステッププロセス：0.9^20 = 12%

ミッションクリティカルなアプリケーション（医療、金融、セキュリティ）にとって、これは受け入れられません。独立したベンチマークでの90%信頼性を持つ単一のLLMコールは印象的ですが、実際のワークフローではシステムを壊すのに十分です。

GraphFlowは具体的に何を検証するか？

GraphFlowはワークフロー図を実行可能な仕様として扱います。このアプローチにはいくつかの主要要素があります：

• 制限されたクラスの図のコンパイル時検証——ワークフローは実行可能になる前に証明チェックされなければなりません
• 証明チェック済みアーティファクト——共有ライブラリに提出される各ワークフローは形式的検証に合格しなければなりません
• 明示的なコントラクト——事前条件（実行前に真でなければならないもの）、事後条件（実行後に真でなければならないもの）、合成義務（ワークフローがより大きなシステムにどのように組み込まれるか）

このアプローチはソフトウェアエンジニアリングの伝統からの形式的メソッド（TLA+、Coq証明）に触発されていますが、コード仕様ではなくビジュアルワークフロー表現に適用されています。

ビジュアルワークフロー表現はどのように機能するか？

図は以下をカバーする単一の権威ある定義として機能します：

• データスコープ——ワークフローが処理するデータ
• 実行セマンティクス——順序、並列性、エラー処理
• モニタリング——オブザーバビリティチェックポイントの場所

スイムレーンは「信頼境界を明確にします」——検証済みロジックを外部システム、人間の判断、AI決定から明示的に分離します。このアプローチにより、レビュアーは形式的検証の保証がどこで終わり、システムが外部の確率的要因に依存する場所がどこかを即座に確認できます。

臨床パイロットは何を実証するか？

3つのサイトを通じた1年間の臨床パイロットは97.08%の完了率で8,728回のワークフロー実行を行いました。この数字はベースラインの35%から劇的な改善です——同じタイプの長いホライズンワークフローに対して約3倍高い成功率です。

観測された失敗は**「主に外部統合に局在化されていた」**もので、コアワークフローロジックではありませんでした。これはGraphFlowが失敗するとき、予測可能な場所——検証済みシステムと外部世界の境界——で失敗することを意味します。これは失敗がスタックのどこにでも起こり得る典型的なエージェントシステムよりも根本的に優れたデバッグの命題です。

GraphFlowは典型的なエージェントフレームワークとどう異なるか？

古典的なエージェントシステム（LangChain、AutoGen、Anthropic Computer Use）は推論時に計画を立てます——エージェントは現在のコンテキストに基づいて次のステップを動的に決定します。このアプローチは柔軟ですが「プロンプトの変化に敏感で監査が難しい」ものです。プロンプトの小さな変化が動作を完全に変える可能性があります。

GraphFlowはその逆です：追加専用のイベントログを持つ耐久性のある実行とランタイムコントラクトの実施。ワークフローは実行前に固定され、検証はコンパイル時に行われ、ランタイムは実行してすべてのコントラクトが通過することを確認するだけです。このアプローチは規制アプリケーションに重要なリプレイと監査証跡をサポートします。

エンタープライズエージェントAIにとっての意味は？

GraphFlowはコンプライアンス制度が監査可能な決定論的ワークフローを要求する医療、金融、法律ユースケースの劇的な空白を埋めます。MedFlow Inc.は形式的検証アプローチを通じてその空白に対処するベンダーとして自社を位置づけています——主流のLangChainやCrewAIスタックとは根本的に異なるアプローチです。

このアプローチは最近の安全性/信頼性論文の補完です：Microsoft Research AI委任信頼性（5月15日、19〜34%の性能低下）、arXiv履歴アンカー（5月13日、91〜98%の安全でないシフト）、arXiv追従性コンセンサス（5月15日、整合性）。すべてが同じ結論を共有しています：現在のRLHFベースのアプローチはミッションクリティカルなワークロードには不十分です。形式的検証は硬い保証を与えるほとんど唯一の解決策の一つです。