ホーム › ツールディレクトリ #数学 記事 モデル PSI、非公開のAnthropicモデルを使う研究システムがアーロンソン＝アンバイニス予想を証明と主張 Leanで検証済みだが査読は未了 スタートアップPSIは、非公開のAnthropicモデルを使うシステムがアーロンソン＝アンバイニス予想を証明しLeanで検証したと主張。PSIの主張で、査読は未了。 2026年11月7日 · 5 分で読める
モデル PSI、非公開のAnthropicモデルを使う研究システムがアーロンソン＝アンバイニス予想を証明と主張 Leanで検証済みだが査読は未了 スタートアップPSIは、非公開のAnthropicモデルを使うシステムがアーロンソン＝アンバイニス予想を証明しLeanで検証したと主張。PSIの主張で、査読は未了。 2026年11月7日 · 5 分で読める