AI研究のさらなる大きな突破：Physical Superintelligenceは、同社の研究システムが未公開のAnthropicモデルを用いて、2008年以来未解決だった量子コンピューティングの中心的問題、アーロンソン＝アンバイニス予想を証明したと発表した。

Physical Superintelligenceは、同社のAI研究システムが未公開のAnthropicモデルを用いて、2008年以来未解決だった量子コンピューティングの中心的問題、アーロンソン＝アンバイニス予想を証明したと発表した。同社によれば、システムは作業3日目に完全な証明に到達し、最終版は証明支援系Leanで検証された。証明が正しければ、AIが長年の未解決問題を解き、量子コンピューターが古典コンピューターに対して指数関数的な優位性を得られる条件を明らかにした注目すべき事例となる。

• Kim2026-11-06 16:01