OpenAIが数学の未解決問題の進展を公開
OpenAIは内部のフロンティアモデルによる数学の未解決問題に関する新成果を発表。Leanによる証明形式化や研究の詳細をGitHub上で公開した。
Lean
「Lean」タグが付いたAI Pulseの更新一覧です。
1 件のシグナル「Lean」タグが付いたAI Pulseの更新一覧です。
1 件のシグナルOpenAIは内部のフロンティアモデルによる数学の未解決問題に関する新成果を発表。Leanによる証明形式化や研究の詳細をGitHub上で公開した。