DeepSeek は DeepSeekMath-V2 モデルをリリースしました。 IMO-ProofBenchおよび各種コンテスト（IMO 2025の問題5/6など）、Putnam 2024（ほぼ完璧な118/120点）において優れた成績を収めています。国際数学オリンピgithub.com/deepseek-ai/De…を収めています。 Githubオープンソースリンク: https://t.co/5vhdwpQW6G このモデルは、Apache 2.0 オープンソース ライセンスに基づいて @huggingface でもリリースされました。 HF からダウンロードすることもできます:
