動察 Beating AI 速報、AI物理学研究所Physical Superintelligence(PSI)は、GPT-6 AstraやClaudeなどのモデルを活用し、長年にわたり未解決だった量子情報の難問5件で新たな進展を遂げたと発表した。
例えば、研究者らは特定の量子場において、二つの領域が遠く離れていても量子もつれが存在し続けることを証明したが、距離が一定の範囲を超えると、CHSHベル不等式によって非局所相関を検出できなくなることを示した。別の研究では、ある種の量子操作を十分な回数連続して行うと、必ずもつれが破壊されることを証明した。
研究過程では、物理学者が指導と検証を担当し、GPTやClaudeなどのモデルが推論に関与した。チームはさらに、CodexやClaude Code内のAIエージェントにLean形式の証明を書かせ、コンピュータで推論が成立するかを検査させた。5件の成果はいずれも論文、証明コード、検証資料を公開している。
ただし、これら5件の成果がすべて元の難問を完全に解決したわけではない。一部の結論は特定の条件にのみ適用され、未解決の問題も残っている。