PSI、未公開のAnthropicモデルを用いて量子計算の未解決予想を証明
Physical Superintelligence（PSI）は、未公開のAnthropicモデルと定理証明支援系Leanを用いた独自研究システムにより、2008年から未解決だった「アーロンソン・アンバイニス予想」を3日で証明したと発表した。量子コンピュータが無作為なランダムデータに対して指数関数的な高速化を達成できないことが数学的に確定し、量子優位性の明確な限界が示された。
Lean
OpenAI、未公開モデルによる数学論文722本を公開 検証支援に500万ドル拠出
OpenAIは未公開のフロンティアモデルが作成した722本の数学論文を公開した。Lean言語による形式化証明も含み、1成果あたり平均約3時間のChatGPT Pro思考演算を消費したという。10月15日にはサイモンズ財団へ500万ドルを助成し、数学者による検証を支援する方針を示した。