DeepSeek V4 Pro 正式リリース：エージェントベンチマーク、API価格、新しいコーディング重点
DeepSeekはV4 Proモデルをプレビュー版から最新の本番版に正式にアップグレードし、開発者が最新のDeepSeek-V4-Pro-0813モデルにAPI経由でアクセスできるようにしました。
DeepSeek V4 Pro 正式発表：Agentベンチマーク、API価格、そして新たなコーディング重視
はじめに
DeepSeekは、V4 Proモデルをプレビュー版から最新のプロダクション版へ正式に移行し、開発者はAPIを通じて更新されたDeepSeek-V4-Pro-0813モデルを利用できるようになりました。
元記事では、今回のリリースをDeepSeekのAgentおよびコーディング能力における大きな前進と位置付けています。記事で報じられた初期ベンチマーク結果によると、V4 Proは特にコーディング、端末インタラクション、サイバーセキュリティAgent、長期的なツール使用などのタスクにおいて、主要なフロンティアモデルに接近しています。
一方で、初期のユーザーはモデルの推論出力に異常な変化があることに気づいています。推論テキストは高度に圧縮され、読みにくくなる可能性があり、これはモデルが流暢な自然言語による説明ではなく、機械効率的な推論を中心に最適化される傾向が強まっていることを示唆しています。
DeepSeek公式ドキュメントによると、現在のdeepseek-v4-pro API識別子はDeepSeek-V4-Pro-0813モデルを提供しており、呼び出し方法は変更されていません。
DeepSeek V4 Pro、ついに登場
元記事は簡潔な情報で始まります。DeepSeek V4 Proが正式にリリースされたということです。
記事で重点的に取り上げられた初期ベンチマーク結果には、HLE、Terminal-Bench、CyberGym、DeepSWEが含まれます。元記事によると、V4 ProはこれらのAgent向け評価においてOpus 4.8をすでに上回っており、Fable 5の報告結果に接近、場合によっては上回っています。
記事は改良の大部分を後学習によるものとし、新バージョンは単により大きな基盤モデルではなく、現代のAI Agentが実際に実行するタスクの種類に深く最適化されたモデルであると述べています。
より広いメッセージは明確です。DeepSeekはもはや低コストのみでV4 Proを位置付けていません。Proモデルはモデル市場のハイエンドを直接狙っています。
DeepSeek V4 Pro-0813、APIで利用可能に
元記事の公開時点では、DeepSeekは対応する公式ブログ記事をまだ公開していませんでしたが、APIプラットフォームはすでに更新を完了しています。
開発者はV4 Pro APIを使用して、以下の識別子で更新されたモデルにアクセスできます：
DeepSeek-V4-Pro-0813
DeepSeekの現在の公式ドキュメントは、公開モデル識別子が変更されていないことを確認しています：
deepseek-v4-pro
このサービスは現在、この識別子をDeepSeek-V4-Pro-0813にルーティングしているため、開発者は既存のAPI統合におけるモデル名を変更する必要はありません。
公式APIドキュメントは、OpenAI互換およびAnthropic互換のAPI形式のサポートも確認しています。V4 Proは100万トークンのコンテキストウィンドウ、ツール呼び出し、JSON出力、そして思考モードと深い思考モードの両方をサポートしています。
価格設定は依然として攻撃的
元記事は以下のDeepSeek V4 Pro価格を報じています：
| 項目 | 100万トークンあたりの価格 |
|---|---|
| 入力 | ¥3 |
| キャッシュ入力 | ¥0.025 |
| 出力 | ¥6 |
これらの数値は、DeepSeekの現在の公式中国語価格ドキュメントにおけるdeepseek-v4-proの価格と一致しています。公式ページに記載されている価格は、キャッシュ入力100万トークンあたり¥0.025、非キャッシュ入力100万トークンあたり¥3、出力100万トークンあたり¥6です。
出力トークン。
この価格は依然としてDeepSeekの最大の競争優位性の一つです。
興味深い変化は、DeepSeekが現在この価格優位性を、より強力なAgent性能と組み合わせようとしていることです。初期バージョンはコスト優位性を分かりやすくしていました。V4 Proは性能優位性も同様に説得力のあるものにしようとしています。
良い知らせ：コーディングとAgent性能が大幅に向上
元記事によると、V4 Proリリースで最も際立っているのはコーディング能力です。
強調されたベンチマーク結果がカバーするタスクは、単純なQ&Aベンチマークよりもはるかに実際のソフトウェアエンジニアリングのワークフローに近いものです。
HLE
元記事は「人類の最終試験」(Humanity's Last Exam)を、V4 Proが主要モデルと競争する評価として挙げています。
HLEは高度な知識と推論能力をテストするよう設計されています。記事はこの結果を、V4 Proの改善が単純なコード補完に留まらないことを証明するために使用しています。
Terminal-Bench
Terminal-Benchは、ターミナル環境で実行されるタスクを通じてモデルを評価します。
これはプログラミングAgentにとって特に重要です。モデルは単にコードを返すだけでなく、実際のツール環境とインタラクションする必要があるからです。
元記事によると、V4 Proはこのベンチマークでトップに接近し、Opus 4.8を上回っています。
CyberGym
CyberGymは記事で強調されたもう一つのAgent向け評価です。
元記事はV4 Proがここで特に強力なパフォーマンスを見せたと述べており、モデルがツールや環境を伴う複雑なマルチステップの技術タスクを処理することにますます熟達していることを示しています。
DeepSWE
DeepSWEはおそらく開発者にとって最も直接関連する評価結果です。
元記事によると、V4 Proはこの評価で前バージョンから大幅な改善を見せ、主要なフロンティアモデルのレベルに近づいています。
総合すると、これらの結果は元記事の核心的な論点を支持しています：DeepSeek V4 ProはコーディングAgentとツールベースのワークフローに向けて強力に最適化されています。
しかし、思考連鎖に奇妙な変化が
元記事はまた、初期ユーザーが発見したいくつかのあまり肯定的ではない観察結果も報告しています。
V4 Proをテストした後、一部のユーザーはその思考連鎖テキストが極度に圧縮され、読みにくくなっていることに気づきました。
元記事で再現された例には、通常の人間の言語ではなく、断片的で機械的な表現が含まれています。
モデルは引き続き推論出力を通じて有用な情報を伝えることができますが、テキストは必ずしも人間が読んで楽しいものや直感的なものではなくなっています。
この行動は、推論モデル開発の全体的な方向性と一致しています。
DeepSeekの公式ドキュメントは現在、専用の思考モードを説明し、APIのreasoning_contentを通じて推論出力を公開しています。また、思考モードと推論強度の制御オプションも提供しています。
元記事は、推論コンテンツの人間可読性を低下させることが、モデル自身にとって有用な情報を保持しながらトークン消費を削減するのに役立つ可能性があると推測しています。この解釈は観察として見なされるべきであり、DeepSeekの公式説明ではありません。
トレードオフ：より強いAgent、より弱い人間親和性
推論
ここには自然なトレードオフが存在します。
モデルが推論予算を精巧な文章の生成に使用する場合、中間プロセスは人間にとって理解しやすくなるかもしれませんが、トークン効率は低下します。
モデルがタスクを可能な限り効率的に完了するように最適化されている場合、その内部推論表現は読みにくくなる可能性が高くなります。
AIプログラミングエージェントにとって、2番目のアプローチは完全に理にかなっています。
エージェントがコマンドを実行する際、長い説明を書く必要は必ずしもありません。正しいアクションを効率的に実行し、結果を確認し、先に進む必要があります。
これが、元記事が推論スタイルの変化をエージェント型プログラミングのより広範な台頭と結びつける理由です。
モデルはますます「実行する」ために最適化されており、必ずしもすべての中間ステップを自然言語で説明するためではありません。
これは執筆や一般的なコンテンツタスクにとって何を意味するか
マイナス面としては、コーディングとエージェント向けの最適化は、長文の執筆能力の向上に直接つながらない可能性があります。
元記事は、V4 Proの推論スタイルは、特に洗練された言語と透明性のある説明を期待するユーザーにとって、執筆中心のワークフローへの魅力が低い可能性があると述べています。
これはモデルが執筆できないという意味ではありません。
むしろ、優先順位の変化を反映しています。モデルの後学習作業の大部分がコーディング、ツール使用、エージェントの信頼性に集中している場合、他の特定の能力は同じ速度で向上しない可能性があります。
開発者にとって、この区別は重要です。
モデルはリポジトリレベルのコーディングに優れている一方で、必ずしもコンテンツ生成タスクに最適な選択肢であるとは限りません。
DeepSeekのより大きな転換：コストリーダーからフロンティア競争者へ
記事はV4 Proを、中国のオープンソースモデルエコシステムにおける最近の複数のリリースの文脈で議論しています。
元記事は、主要なクローズドソースモデルの性能レベルをますます目指す、急速に進化する新モデルの連続を説明しています。
記事はGLM 5.2、Kimi K3、その他の最近のリリースに言及し、それらが同じより広いトレンドに属すると考えています。
DeepSeekの初期のV4 Flashバージョンのリリースはコスト効率に焦点を当てていました。元記事はこの戦略を、市場全体のAPI価格設定の低下を促進するのに役立ったと説明しています。
V4 Proは異なる位置付けを取っています。
目標はもはや単純なものではない：
「より低いコストで同等の能力を提供できるか？」
ではなく、より次のような問いに近い：
「コスト優位性を維持しながら、トップ性能層で競争できるか？」
これははるかに野心的なポジショニングである。
V4 Proもエージェント統合を目的に構築されている
DeepSeekの公式ドキュメントによると、V4モデルはClaude Code、GitHub Copilot、OpenCodeなどの人気AIエージェントやプログラミング支援ツールとの連携を目的としている。開発者はDeepSeekをこれらのツールのバックエンドモデルとして利用できる。
これは重要である。なぜなら、モデルの能力はますます、モデルがエージェントループ内でどれだけうまく機能するかに依存するようになっているからだ。
優れたプログラミングモデルには、コード生成能力だけでは不十分である。必要なものは：
- 大規模コードベースの理解
- 複数ステップの変更の計画
- ツール呼び出しの信頼性
- コマンド出力の確認
- エラーからの回復
- マルチターン対話にわたる継続的な作業
- 実際に実行可能な最終実装の生成
V4 Proのリリースは明らかにこの目標を狙っている。
ワークフロー。
もう一つのこと
原文は、より感情的な筆致で締めくくられている。
今回のリリースを2025年初頭のDeepSeekモーメントと並置し、このモデルのポジショニングが変化したと論じている。
これまでDeepSeekの最も明確な武器はコストパフォーマンスだった。
現在、同社はV4 Proを、最も強力な利用可能モデルの議論に直接組み込もうとしている。
これにより、今回のリリースの意義はモデル自体を超えたものとなる。
オープンソースモデルがエージェントコーディングでフロンティアレベルに達し、なおかつ比較的低いAPI価格を維持できるならば、クローズドソースモデル提供者への圧力ははるかに強まる。
よくある質問
DeepSeek V4 Pro-0813とは何か？
DeepSeek-V4-Pro-0813は、deepseek-v4-proモデル識別子を通じて提供される現在の更新バージョンである。DeepSeek公式APIドキュメントによると、開発者は統合方法を変更することなくdeepseek-v4-proを引き続き使用できる。
DeepSeek V4 Proの価格は？
DeepSeekの現在の中国語価格ページによると、V4 Proのキャッシュされていない入力トークン価格は100万トークンあたり3元、キャッシュされた入力トークン価格は100万トークンあたり0.025元、出力トークン価格は100万トークンあたり6元である。価格は変動する可能性があるため、デプロイ前に公式価格ページを確認すべきである。
DeepSeek V4 Proは主に何に最適化されているか？
今回のリリースでは、コーディング、エージェントワークフロー、ツール使用、推論能力が強調されている。DeepSeek公式ドキュメントには、ツール呼び出し、1Mコンテキスト、思考モード、主流のコーディングエージェントツールとの統合も記載されている。
DeepSeek V4 Proは1Mトークンのコンテキストウィンドウを持つか？
はい。DeepSeekの現在の公式モデルドキュメントには、V4 Proのコンテキスト長は1Mと記載されている。また、最大出力長は384Kトークンと記載されている。
DeepSeek V4 Proの推論が異例に見えるのはなぜか？
原文報道によると、初期ユーザーは高度に圧縮された、機械生成のような推論テキストを目撃した。記事はこれが効率に関連する可能性があると論じているが、DeepSeek公式ドキュメントはこの異例のスタイルがその目的のために導入されたとは明記していない。
DeepSeek V4 Proはコーディングエージェントに使用できるか？
できる。DeepSeek公式ドキュメントには、Claude Code、GitHub Copilot、OpenCodeなどのツールとの統合が記録されている。また、OpenAI互換およびAnthropic互換のAPI形式もサポートしている。
DeepSeek V4 Proはオープンソースか？
DeepSeekのV4プレビュー版リリースは、オープンウェイトとテクニカルレポートを含むオープンソースとして発表された。現在のAPIサービスとモデルバージョンはリリース資料とは別に記録されているため、開発者はオープンソースモデルの成果物とホスト型APIサービスを区別すべきである。
関連ツール
- DeepSeek API：DeepSeekモデルにアクセスするための公式APIエンドポイント。
- DeepSeek APIドキュメント：モデルアクセス、価格、ツール、統合に関する公式ドキュメント。
- Claude Code：サポートされている統合を通じてDeepSeekをバックエンドとして使用できるAIコーディングエージェント。
- OpenCode：DeepSeekドキュメントに記録されているエージェント統合でサポートされているオープンソースコーディングエージェント。
- GitHub Copilot：DeepSeekがサポート対象エージェントの1つとして挙げているAIコーディングアシスタント。
統合。
関連リンク
- DeepSeekモデルと価格：公式の現在のモデル仕様とAPI価格。
- DeepSeek初回API呼び出し：
deepseek-v4-proおよびdeepseek-v4-flashを呼び出すための公式ガイド。 - DeepSeek思考モード：推論モードを有効化・制御するための公式ドキュメント。
- DeepSeekエージェント統合：DeepSeekをコーディングおよびエージェントツールと組み合わせて使用するための公式ドキュメント。
- DeepSeek V4プレビュー版リリース：公式V4発表および技術概要。
- DeepSeek GitHub：DeepSeek公式GitHub組織。
まとめ
DeepSeek V4 Proは、同社の戦略転換を示している。新しいProモデルは、もはや単なる低コスト代替として位置づけられているわけではなく、その中心的なセールスポイントは、コーディングおよびエージェント性能の最前線での競争へとますますシフトしている。
現在のAPIバージョンdeepseek-v4-proはDeepSeek-V4-Pro-0813を提供し、1Mコンテキスト、ツール呼び出し、思考モード、そして非常に競争力のある価格をサポートしている。
報告によると、推論スタイルの変化もモデルの優先事項の移行を示している：読みやすい中間テキストへの重点の減少、効率的な推論とエージェント実行へのより大きな焦点。