【23 Daily】techcrunch.com の報道によると、MITを最近卒業したDavid Turturean氏が、スタートアップ研究所のPhysical Superintelligence（PSI）に所属し、未公開のAnthropicのAIモデルFable 5.2を用いて、約20年間研究されてきた量子計算の基礎的な問題「Aaronson-Ambainis予想」の解決に成功した。

20年来の量子計算問題の解決

この問題はScott Aaronson氏らによって提起され、量子コンピュータが古典的コンピュータよりも高速に特定の問題を解けるかを問うもの。Turturean氏はAnthropicの未公開モデルを用い、PSIの支援で解を自動形式化し、トップ研究者によって検証された。Aaronson氏は詳細は理解できていないが、Lean言語での証明化および専門家の説明により正しいと認めている。

量子計算研究の方向性を明確に

この証明は、量子コンピュータが特定の難題を高速で解く可能性の一つのルートを閉ざし、研究の焦点を絞る役割を果たす。Turturean氏は「否定的結果だが、これによりその道はもう追求しなくて良いと分かる」と述べている。

PSIのAIモデルが科学革新を推進

PSIのCEO Matt Pines氏は、同社が専門的なモデルやツール基盤を開発し、現在はデータセンターの熱、水、エネルギー、音といった物理パラメータのシミュレーションによる最適化に応用していると説明。将来的には理論物理の成果を実技術に転換することを目指す。

編集部の視点：AIの科学的突破には実験検証も重要

数学や計算機科学のように検証可能なコードで表現できる分野ではAIが大きな進展を見せているが、物理学のように現実世界に根差した分野ではAIの成果と実験検証の融合が課題となる。PSIは結果共有の透明性を重視し、専門家と連携しており、学術的な適正も守っている。起業家にとっては、専門AIモデルの開発と多方面の協業、実験による検証を組み合わせることで基礎科学や技術革新の加速に繋がる可能性がある。