PSI、AI駆動の科学的発見を事業化しようと試みる

Physical Superintelligence（PSI）は、AnthropicのFable 5.2モデルへの早期アクセスを利用して、量子コンピューティングにおける18年来の未解決問題であるAaronson-Ambainis予想を解決した。MIT卒業生でPSIの技術スタッフであるDavid Turtureanがこの取り組みを主導し、証明はLeanで自動形式化され、専門家によって検証された。この解決策は、量子コンピュータが加速を達成するための一つの道を排除する否定的な結果であり、科学に対するAIの影響の増大を反映している。PSIのCEOであるMatt Pinesは、同社が専門的なモデルハーネス、ツール、メモリシステム、シミュレーションインフラストラクチャに焦点を当て、問題を広く深く攻めることを説明した。現在、PSIはデータセンターの最適化で収益を上げているが、長期的な目標は理論物理学の突破を技術に変換することである。Pinesは、物理学は数学よりも難しく、「自然があなたのモデルに投票する」ため、実験的検証が必要であると指摘した。PSIは公開前に研究者と結果を共有し、アドバイザーのJim Halversonは透明性と専門家への相談がこの新興分野のベストプラクティスであると強調した。

(出典：TechCrunch)