Haiqu、AI駆動の量子研究を軌道に乗せるためにAgenticOSを発表
科学的計算は完璧に実行されても、間違った質問に答えてしまうことがあります。AIエージェントが静かに分子の構造を変えたり、シミュレーションから電子を除去したりすると、動作するコードや説得力のあるグラフが壊れた実験を隠してしまうことがあります。 それが、Haiquが10月7日のAgenticOS発表で対象としている問題です。AgenticOSは、量子研究プロジェクト全体で専門的なAIエージェントのチームを調整するシステムです。このプラットフォームは、アイデアを文献レビュー、数理解析、実験設計、実行まで持ち運び、科学的前提条件を研究者が検査・承認できるように保持するよう設計されています。 企業のR&Dチーム向けにリクエストに応じて現在利用可能で、AgenticOSは5月に発表されたHaiquのプラットフォーム上に構築されています。その中心的な主張は、実用的な科学的自動化には、実験の意味を作業のすべての段階で保持する方法が必要であるということです。 研究課題をレビュー可能なワークフローに変換する HaiquのAgenticOS 製品ページによると、ユーザーは質問、論文、データ、または既存のアイデアから開始できます。システムは目的、制約、成功基準を設定するのを支援し、その後調査を研究グラフに組織化します。ノードは科学エージェントのチームを表し、依存関係、意思決定、研究成果物が作業をつなげます。 研究者は出力を検査し、前提条件にコメントし、モジュールを再指向し、下流タスクが進む前に重要な決定を承認できます。システムは量子理論、アルゴリズム、産業応用に関するナレッジベースと、プロジェクトで受け入れられた決定や成果物を活用します。 この構造が重要なのは、研究プロジェクトが最終計算に至る前に失敗する可能性があるからです。近似手法を選択するとモデル化対象が変わり、以前の制約を失うと後続の結果が比較できなくなります。可視化されたワークフローは、科学者が変更点を捕捉できる場所を提供し、完成した答えから再構築しようとする必要をなくします。 発表では、Haiquはエージェントが文献レビュー、第一原理導出、量子実現性分析、結果チェックを担当すると述べています。検証は古典的ベースライン、テスト、批評エージェント、人的レビューを組み合わせ、形式的検証を行います。科学者はどの前提条件が固定されているか、どこで自律的作業が適切か、どのステップが承認を必要とするかを決定します。 共同創業者兼CTOのMykola Maksymenkoは、このシステムは有望な研究アイデアを実験に転換するために必要な労力を削減し、科学者が適切な質問の選択と調査により多くの注意を向けられるようにすることを目的としていると述べました。 化学テストはコードと科学の違いを明らかにする Haiquの化学ケーススタディは、Zundel カチオン（H₅O₂⁺）におけるプロトン移動を検証します。これは、2つの水分子が余分なプロトンを共有するものです。課題は、固定された科学的設定の下で、そのプロトンが分子間を移動する際のエネルギー障壁を計算することでした。 10回のスタンドアロンAI実行が同じ指示を受けました。すべてが動作するコードを生成しましたが、4つは必要な電子を除外し、他は構造やプロトンの経路を変更しました。AgenticOSは、合意されたプロトコルを保持し、20個すべての電子と固定された酸素–酸素間距離を含めました。 シミュレートされたサンプルベースの量子対角化（SQD）計算は、障壁を554.8ミリ電子ボルトで算出し、574.3ミリ電子ボルトの全構成相互作用参照と比較すると約3.4％の差異でした。SQDは電子配置のサンプリングと古典的エネルギー計算を組み合わせます。 これらの数値は、選択された1つの分子モデルを示しています。参照はそのモデルの計算上の前提条件内で正確ですが、結果が普遍的な精度や量子優位性を示すものではありません。より直接的に重要な発見は、プロトコルを保持することで計算の比較が意味のあるものになったという点です。 Haiquは、この研究がAIによる科学的発見に焦点を当てたNeurIPS 2026ワークショップで受理されたと述べています。これは、広範な独立ベンチマークによる研究信頼性の評価ではなく、会社が報告したデモンストレーションに過ぎません。 制御シミュレーションから量子ハードウェアへ 発表では、相互作用する電子を研究するための枠組みであるハバードモデルを用いた別の実験も説明されています。Haiquは、ドーピングされたフラストレーションがある2次元バージョンで対角ホッピングを持つものを調査し、銅系高温超伝導体の研究に関連しています。 AgenticOSは3×3のグリッド上で実験を開発し、IBMの量子コンピュータで実行しました。小規模なグリッドにより、正確な古典的解との比較が可能になりました。Haiquは、回路深さが約75％削減され、同一手法のエラーなし実行とハードウェア出力を合わせる校正が提案されたと報告しています。 回路深さは、量子回路を実行するために必要な操作層の数を測ります。これを削減することで、計算中にエラーが蓄積しやすい現在のノイズの多いプロセッサでの実行が改善されます。理想的な実行との一致は、手法やハードウェアワークフローに関する有用な証拠ですが、実験が超伝導を解決したり、その規模で古典計算を上回ったことを意味するわけではありません。 エージェントを支えるソフトウェアスタック AgenticOSはHaiquの量子ソフトウェア基盤の上に位置します。発表では、SDKがデータロード、回路圧縮、エラー軽減を提供し、Haiqu…
