Top > 学術&研究 > DeepSeek、数学的定理を証明するAI「DeepSeek-Prover-V2」を公開ーーLean 4形式でSOTA性能を達成
学術&研究
2025/5/8 [THU]

DeepSeek、数学的定理を証明するAI「DeepSeek-Prover-V2」を公開ーーLean 4形式でSOTA性能を達成

DeepSeek、数学的定理を証明するAI「DeepSeek-Prover-V2」を公開ーーLean 4形式でSOTA性能を達成のサムネイル画像
関連するタグ
mailmagazine_250701_1
Ledge.ai 編集部

Ledge.ai編集部です。最新のAI関連技術、テクノロジー、AIのビジネス活用事例などの情報を毎日発信しています。

gtc_ls_sp
関連記事
関連する記事が見つかりませんでした
FOLLOW US
各種SNSでも最新情報をお届けしております