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性能を達成のサムネイル画像
関連するタグ
rectangle_top Ledge.ai EXPO 2025 Summer
Ledge.ai 編集部

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

sp_landscape Ledge.ai EXPO 2025 Summer
関連記事
関連する記事が見つかりませんでした
アクセスランキング
FOLLOW US
各種SNSでも最新情報をお届けしております