DeepSeekが数学的推論に特化したAIモデル「DeepSeek-Math-V2」をリリース、国際数学オリンピックで金メダルを取れるレベルの正答率を記録

　DeepSeekが、数学的推論に特化したAIモデル「DeepSeek-Math-V2」を2025年11月27日に公開しました。
　このDeepSeek-Math-V2は定理証明と自己検証機能に重点を置いており、従来の数学AIモデルとは異なり、解答の正確性を追求するだけでなく、推論プロセスの厳密性と完全性も重視しています。

　GitHub - deepseek-ai/DeepSeek-Math-V2
　https://github.com/deepseek-ai/DeepSeek-Math-V2

（以下略、続きはソースでご確認ください）

Gigazine 2025年11月28日 10時56分
https://gigazine.net/news/20251128-deepseek-math-v2/