25/11/28 22:50:21.15 RKXlL1zb.net
DeepSeekが数学的推論に特化したAIモデル「DeepSeek-Math-V2」をリリース、国際数学オリンピックで金メダルを取れるレベルの正答率を記録
DeepSeekが、数学的推論に特化したAIモデル「DeepSeek-Math-V2」を2025年11月27日に公開しました。
このDeepSeek-Math-V2は定理証明と自己検証機能に重点を置いており、従来の数学AIモデルとは異なり、解答の正確性を追求するだけでなく、推論プロセスの厳密性と完全性も重視しています。
GitHub - deepseek-ai/DeepSeek-Math-V2
URLリンク(github.com)
(以下略、続きはソースでご確認ください)
Gigazine 2025年11月28日 10時56分
URLリンク(gigazine.net)