PSI、AIで量子計算の未解決問題に解答

米スタートアップのPhysical Superintelligence（PSI）は2026年11月、Anthropicの新モデル「Fable 5.2」を使い、量子計算分野で18年間未解決だったアーロンソン・アンバイニス予想の証明を導きました。MITを最近卒業した同社技術スタッフのデビッド・トゥルテュレアン氏が取り組み、数学証明向け言語Leanで形式化した結果を専門研究者にも共有しています。

この予想は、量子コンピューターが古典コンピューターより速く問題を解ける条件に関わります。提案された証明が正しければ、量子計算が特定の難問を高速に解く道筋の一つを閉じる可能性がありますが、量子計算全般を否定するものではありません。

PSIは汎用モデルだけに頼らず、専用のツールや記憶機構、シミュレーション基盤を組み合わせて科学課題を解く方針です。CEOのマット・パインズ氏は、幅広い仮説を深く検討できる研究システムを目指すと説明しています。

現在の収益源は、熱や電力、水、騒音などをシミュレーションしてデータセンターの設計を最適化する事業です。長期的には理論物理の成果を実用技術に変えることを狙いますが、数学のように形式化しにくい物理や生命科学では、計算結果を実験で確かめる必要があります。

AIが研究成果を生む速度が上がるなか、専門家への共有や検証の基準も課題です。PSIは結果を関連研究者に示し、透明性を重視したとしています。来週にはMITで物理学者らが新しい科学研究の進め方を議論する予定です。