#Lean証明支援系
記事
モデル
PSI、非公開のAnthropicモデルを使う研究システムがアーロンソン＝アンバイニス予想を証明と主張 Leanで検証済みだが査読は未了
スタートアップPSIは、非公開のAnthropicモデルを使うシステムがアーロンソン＝アンバイニス予想を証明しLeanで検証したと主張。PSIの主張で、査読は未了。
モデル
スタートアップPSIは、非公開のAnthropicモデルを使うシステムがアーロンソン＝アンバイニス予想を証明しLeanで検証したと主張。PSIの主張で、査読は未了。