Zapata、企業が高付加価値の量子アプリケーションを特定できるよう支援するQuantum Pilotを開始

量子コンピューティングは長年、ハードウェアのマイルストーン――より多くのキュービット、低エラーレート、長いコヒーレンス時間、そしてますます高度なフォールトトレランス手法――によって定義されてきました。しかし企業にとっては、ハードウェアの向上が別の問題を生み出します。依然として、それを実際に何に活用すべきかを判断しなければなりません。

Zapata Quantumは、そのギャップに対応するために、Quantum Pilotを提供します。これは、組織が量子コンピューティングアプリケーションを体系的に特定、評価、開発し、実現可能な商業的ポテンシャルを持つよう支援する、クラウドベースでハードウェアに依存しない新プラットフォームです。

Quantum Pilotは、選択された企業および政府顧客と共に早期アクセスを開始しています。企業に特定の量子コンピュータやアーキテクチャへのコミットを求めるのではなく、プラットフォームはビジネス課題とアルゴリズム、ハードウェア要件、技術的実現可能性、そして潜在的な経済価値を結びつける継続的に進化するロードマップの構築を試みます。

この開始は、Zapata Quantumが採用する、より広範なアプリケーション志向の戦略に基づいています。同社は2017年にハーバード大学出身の科学者によって設立され、企業の課題と急速に進化する量子ハードウェアの間に位置するソフトウェア層を中心に据えてきました。同社によれば、現在60件以上の特許が発行または出願中で、これまでにBASF、BMW、BBVA、BP、そしてDefense Advanced Research Projects Agency（DARPA）などの組織と協業してきました。

量子準備性をアプリケーション課題に転換する

Quantum Pilotの根底にある前提は、企業が量子コンピューティングに関して誤った質問をしている可能性があるということです。

十分に強力な量子コンピュータが利用可能になる時期に主に焦点を当てるのではなく、組織はそれらのマシンから恩恵を受ける可能性のあるワークロードはどれか、どのアルゴリズムがそれに対応できるか、アルゴリズムが必要とするリソースは何か、そして最終的な優位性が開発コストを正当化できるかを理解する必要があります。

これは単にキュービット数を追跡するだけよりもはるかに複雑です。

例えば製薬会社は、分子シミュレーション、薬剤設計、最適化、機械学習にわたる数百もの計算集約的プロセスを抱えているかもしれません。そのうちの一部だけが量子アクセラレーションの有力な候補となり得ます。これらの候補は、継続的に改善される古典的手法と比較し、必要な規模のハードウェアがまだ存在しない可能性があることを踏まえてマッピングする必要があります。

Quantum Pilotは、その調査を再現可能なプロセスに変えるよう設計されています。

「量子アプリケーション開発への重要な入り口は、ユースケースを量子計算ソリューションに効率的かつ厳密にマッピングすることです」とZapataのCEO Sumit Kapurは述べました。

この考えは、量子戦略が切り離された実験の集合になることを防ぐことです。1つの評価で得られた知見は、アルゴリズムやハードウェアが進化するにつれて、後続のプロジェクトに活用できるようになります。

Quantum Pilotの仕組み

Quantum Pilotは、アプリケーション開発プロセスの異なる部分をカバーする3つのシステムを統合します。

最初はQuantum Graphで、潜在的なアプリケーションとアルゴリズム、学術研究、量子ハードウェアのロードマップを結びつける独自の知識層です。Zapataは以前、Quantum Graphを問題、アルゴリズム、ハードウェアリソースが相互にどのように関連するかを示す構造化された知識ベースとして説明しています。

第2のコンポーネントであるQuantum Engineは、より多くの計算作業を担当します。アルゴリズム選択、実験設計、ハードウェアベンチマーク、量子リソース見積もりのためのツールとAIエージェントが含まれています。

リソース見積もりは特に重要です。というのも、数学的に魅力的に見えるアルゴリズムでも、誤り訂正やハードウェア制約を考慮すると、実現不可能な数の物理キュービットや非現実的な実行時間を要する可能性があるからです。

第3のコンポーネントはQuantum Assuranceで、専門家レビューと形式的検証技術を組み合わせ、量子ソフトウェアが期待通りに動作していることをより強固に証明することを目的としています。

これら3つの層は、次のような一連の質問に答えることを目的としています：このビジネス課題は量子コンピューティングに適していますか？どのアルゴリズムがそれに対処すべきか？実行には何が必要か？提案された実装は正しいか？そして、いつ経済的に実際に導入することが正当化できるか？

Quantum Pilotは、Zapataのより広範なOrquestraソフトウェアスタック内にも位置しており、ユースケース評価、リソース見積もり、アルゴリズム、ハイブリッド量子・古典ワークフロー、複数のハードウェア環境へのアクセスを網羅しています。

エージェント型AIが量子リソース見積もりと融合する

人工知能も量子開発ワークフローの一部となりつつあります。

今年初め、ZapataはNVIDIAと協力し、量子リソース見積もりを自動化することを目的としたエージェント型AIシステムに取り組み始めました。このタスクは、分子モデリング、量子アルゴリズム、ハードウェアアーキテクチャ、誤り訂正にわたる専門知識を必要とすることがあります。

Zapata-NVIDIA協業は当初、医薬品探索、エネルギー、先端材料などの量子化学アプリケーションに焦点を当てていました。両社は、従来は膨大な手作業の調査が必要とされていたベンチマークおよび見積もりプロセスの一部を実行できる、オーケストレーションされたAIエージェントの開発に取り組んでいます。

Zapataによると、ワークフローはAIオーケストレーション、継続的に検証された量子ワークフロー、および計算開始前にハードウェア要件を予測しようとする実現性モデルを組み合わせています。NVIDIAのAgent Toolkitは、マルチエージェントアーキテクチャ内でのモニタリングとガードレールに使用されています。

これらの機能は現在、より広範なQuantum Pilot環境に組み込まれています。

これはエージェント型AIの興味深い応用例です。エージェントは量子コンピュータ自体の代替として位置付けられているわけではありません。その代わり、量子コンピュータが特定の問題を経済的に解決できるかどうかを判断するために必要な科学的作業の一部を自動化するために使用されています。

形式検証の重要性は今後さらに高まる可能性がある

Another differentiator is Zapata’s emphasis on formal verification.

従来のソフトウェア開発において、テストは一般にプログラムがさまざまな条件下で期待通りの結果を出すかどうかを確認します。形式的検証は、数学的手法を用いてソフトウェアが指定された特性を満たすことを証明することで、さらに一歩進んだ検証を行います。

量子ソフトウェアは、ますます複雑になるアルゴリズムを最終的に量子回路に変換し、ノイズや誤り訂正、ハードウェア制約が結果に実質的な影響を与えるシステム上で実行しなければならないため、従来の検証にとって困難な環境を提供します。

ZapataはUniversity of Marylandの検証優先アプローチに取り組んでおり、ソフトウェアを先に構築して後で検証するのではなく、正確性の数学的証明から始めています。

この研究は当初、Shorの因数分解アルゴリズムに適用されていますが、同社は同様の手法が最終的には量子化学、材料科学、最適化、金融分野にも拡大できると考えています。

Quantum Assurance brings that philosophy into Quantum Pilot.

これは量子コンピューティングに関する不確実性を排除するものではありません。形式的検証はアルゴリズムや実装が正しいかどうかを確認するのに役立ちますが、未成熟なハードウェアを商業的に実用化することはできません。可能性としては、量子アプリケーションがますます複雑化する中で、別の不確実性の要因を減らすことが期待されます。

実際のプロジェクトが示すアプリケーション選択の重要性

Zapata’s previous enterprise projects illustrate why systematically rejecting unsuitable use cases may be almost as valuable as finding promising ones.

BPとの共同研究で変分量子固有値解法を用いた作業において、Zapataは量子コンピュータが将来的に分子シミュレーションを加速できるかどうかを検討しました。その分析では計算コスト削減の機会が見つかったものの、エンタープライズ規模での実装はまだ数年先であると結論付けました。

BBVAとの協働でも、金融リスク計算に用いられる計算負荷の高いモンテカルロシミュレーションへの量子アプローチを検証しました。プロジェクトはアルゴリズム上の潜在的な利点を特定した一方で、近い将来の量子デバイスでは実用化が困難であることも判明しました。

他のプロジェクトでは、量子インスパイアド手法を通じてより即時的に有用な成果が得られています。BMWおよびMITのCenter for Quantum Engineeringとの自動車製造プロジェクトでは、Zapataはテンソルネットワーク生成モデルを生産スケジューリングに適用し、量子コンピューティングに触発された手法が古典的インフラを用いた大規模最適化問題の改善に寄与できるかを検証しました。

このような肯定的・否定的結果の混在は、量子アプリケーション開発の重要な側面を浮き彫りにします。企業は、量子コンピューティングがどこで有効かだけでなく、投資を先送りすべき領域を判断する仕組みが必要です。

量子ソフトウェア分野に復帰したZapataの取り組みを発展させる

Quantum Pilotは、Zapataが量子ソフトウェアに再び注力する最新の段階でもあります。

同社は大規模な組織再編を経て、元の量子コンピューティング事業に再び注力しました。4月にZapataは、科学、エンジニアリング、製品、商業チームの拡大のために、過剰応募の$15 millionの戦略的資金調達ラウンドを実施しました。この動向は以前Unite.AIが報じています。

同社の技術ポートフォリオには、Orquestra、Quantum Graph、Quantum Pilot、そしてDARPAのQuantum Benchmarkingプログラム下での取り組みから生まれたツールキットであるBench‑Qが含まれます。Zapataは、ユースケースの特定、アルゴリズム開発、ハードウェア資源見積もりといったプログラムの技術領域全般に参加しました。

同社は純粋なベンチマーク以外でも量子‑古典ハイブリッド手法を実証しています。学術機関やバイオテクノロジーパートナーとの研究では、KRASを標的とした候補分子を設計するために量子‑古典生成モデルを使用し、提案された15分子を合成、そのうち2分子がさらなる検証に有望な候補として特定されました。

量子競争はハードウェアを超えて拡大している

Quantum Pilot の導入は、量子コンピューティングにおける競争が最終的に展開する領域の広範なシフトを反映している。

耐障害性量子ハードウェアの構築は、業界を代表する技術的課題の一つであり続けている。しかし、性能が向上するほど、企業がそれら上で実行できるアプリケーションを持っていなければ、商業的価値は限定的になるだろう。

これにより、アルゴリズム、リソース見積もり、開発環境、ベンチマーク、検証、そして組織的知識に関する並行した競争が生まれる。

Quantum Pilot は、Zapata がこれらの分野をひとつのシステムにまとめ、企業が最終的にどの量子ハードウェアでワークロードを実行するかを決定する前に利用できるようにした試みである。

ハードウェアに依存しないこのアプローチは、異なるアーキテクチャが問題のクラスごとに適していることが判明すれば、ますます重要になる可能性がある。また、ハードウェアのロードマップが変化する中でも、企業がアプリケーションの評価を継続できるようになる。

より大きな課題は、組織が量子実験の数年にわたる取り組みを、概念実証の連続ではなく、制度的な能力へと転換できるかどうかである。

Quantum Pilot は、商業的に意味のある量子優位性がいつ実現するかという不確実性を取り除くものではない。むしろ、より実践的な前提に基づいて設計されている。すなわち、将来のハードウェアの進歩から恩恵を受けたい企業は、ハードウェアが準備できるはるか前に、何を構築すべきかを判断するための体系的な手法が必要である。