DeepSeek V4.1 Proがコーディングエージェントのソースコードに現れた。それはテストフィクスチャである。

2026年11月11日18:50 UTC、オープンソースのコーディングエージェントのモデル選択コードに1件のコミットが入った。追加された文字列の中に deepseek/deepseek-v4.1-pro があった。1日も経たないうちに、このIDはコード差分から「DeepSeek-v4.1-pro が近日登場するかもしれない」と書かれた引用ツイートへと広がり、そこから、新しい巨大モデルをすぐに期待すべきではないと返信した追跡者のタイムラインへと広がった。「おそらく2月までかかるだろう（そうならないことを願う）」。このIDは実在し、コミットも公開されているため、この目撃情報は確認可能だ。ただし、それが指し示すものは確認できない。その文字列はリポジトリ全体でちょうど2回だけ現れ、いずれも単一の単体テスト内で、架空のモデルエントリの表のフィクスチャ行として登場する。D​eepSeek V4.1 Pro はまだリリースされていない。D​eepSeek 自身のドキュメントでは、依然としてチャットモデルをちょうど2つだけ提供している。DeepSeek V4.1 Flash は現在 1017 チェックポイント、DeepSeek V4 Pro は依然として 0813 ビルドだ。

これは未発表モデルについて現時点で分かっていることをまとめた記事であり、したがって以下の内容は、発売開始、日付、スペック表、価格のいずれとしても読むべきものではありません。以下に示すのは、この記事の出発点となった文書、その文書内にあって Pro ティアの DeepSeek id がなぜそこに存在しなければならなかったのかを説明する仕組み、そしてフィクスチャとリスティングを切り分けるチェックです。これらのチェックはどれも、誰でもブラウザで再実行できます。

コミットが実際に追加した内容を、行ごとに

変更は小さく、その目的もありふれたものだ。有料プランで利用できる4つのモデルを、モデルピッカーの下の方ではなく先頭に表示し、同じ4つのモデルがピッカーのファミリー別ハイライト処理によって2つ目の枠を取らないようにする。変更されるソースファイルは2つ。一方は4つのIDのリストを導入し、もう一方は投影関数を書き換えてテストを追加する。

テストの名前は「picker lists Token Pass models first without a second slot for their families」です。8 つの偽のカタログ行を作成し、ピッカーが生成すべき順序を検証します。8 つのうち 4 つは、プランが支払う ID です。D​eepSeek のフィクスチャは deepseek/deepseek-v4.1-pro として記述され、released = 260、has_tool_use = true で、released = 255 の deepseek/deepseek-v4.1-flash の隣にあります。これらの数値は日付でもタイムスタンプでも、カタログが返すようなものでもありません。フィクスチャがアサーションをライブフィードに依存させないようにするための序数ソートキーです。そのテーブルのすべての行 — Claude、G​PT、K​imi のエントリを含む — はテスト用に手書きされています。

そして重要なのは、アサーションそのものだ。期待される順序では、D​eepSeek Pro の ID は8つのうち7番目に置かれ、有料プランが列挙する Flash モデルの後ろ、Z.ai の2つのモデルの後ろ、さらに Claude と O​penAI の ID の両方の後ろに来る。実際のカタログ投影では、Flash の ID より新しい recency key を持つ Pro の ID が、通常ならそのファミリーの唯一のハイライト枠を取るはずだ。このテストはそれが起きないことを証明するために存在する。なぜなら有料プランのモデルがすでにその枠を占めているからだ。負けるように書かれたフィクスチャを発表として読むのは奇妙なことだ。

そもそもなぜPro idをフィクスチャに入れる必要があったのか

これは、この話の中で推測ではなく仕組みそのものにあたる唯一の部分であり、また、その目撃が実際以上に意味深く感じられるようにしている部分でもある。

ピッカーのハイライトリストは、DeepSeekファミリーのカウントを1にします。つまり、DeepSeekモデルが1つキュレーション済みセクションへ昇格します。有料プランが対象とするモデルは、まず最上位へ押し上げられます。その最上位モデルがDeepSeekファミリーに属している場合、そのファミリーの枠は埋まっていると見なされ、そのファミリーについてはハイライトループがスキップされます。これがテスト対象の動作の全体であり、実装は減算です。つまり、枠数からそのファミリーで既に選択されているモデル数を引きます。

減算が実際に何らかの効果を持つことを示すには、フィクスチャに、そうでなければ選ばれていたはずの2つ目のDeepSeek IDが必要です。しかも、可能な限り最強の候補でなければならず、さもなければテストは何も証明しません。ピッカーのファミリ比較器は、recency キーによって最新モデルを優先し、recency が同じ場合はDeepSeek固有のランクを適用します。そこでは -pro 接尾辞が thinking バリアントより上位に並び、thinking バリアントが他のすべてより上位で、-flash が最下位になります。したがって、Flash モデルより高い recency キーを持つ -pro フィクスチャこそ、新しい減算処理が削除された場合にその枠を奪う正確な行です。テストは、フィクスチャが Pro ID であり、Flash より新しいものでなければならないように書かれています。

そうすれば、誰にも何も知られずにdiff内にDeepSeek ProのIDが手に入る。だが、それ自体ではバージョンを説明しない。DeepSeekの現行ProティアはDeepSeek V4 Proであり、当然のフィクスチャなら実在するモデルのIDになっていたはずだ。ところが、その行を書いた人物は代わりにv4.1-proに手を伸ばした——それは、この系統で次に来る名前を自然に推測したものか、どこか別の場所からコピーした実在の文字列のどちらかだ。このファイルからはどちらなのか判別する方法がなく、その曖昧さこそがこのリークの内容のすべてだ。11月11日以降に投稿されたものはすべて、その下流にある。

フィクスチャとリスティングを分ける4つのチェック

もしDeepSeekが実際にProティアを用意していたなら、そのIDはテスト用テーブルだけでなく、顧客がアクセスできるどこかに表示されるはずだ。以下はそれぞれ2026年11月13日に確認されたもので、いずれも1ページの読み込みである。

• D​eepSeekの変更履歴 — 最新の項目は2026年10月17日で、Flash 1017アップデートと検索APIの公開です。V4.1 Proの項目はこれまで一度もありません。D​eepSeekが行ったすべてのV4リリースは、最初にこのページで発表されています。

• DeepSeekのモデル一覧と価格表 — 2つのモデル名、deepseek-flash と deepseek-v4-pro があり、バージョン文字列 DeepSeek-V4.1-Flash-1017 と DeepSeek-V4-Pro-0813 が付記されています。3行目はなく、Pro ティアの V4.1 行もなく、プレースホルダーもありません。

• Hugging Face 上の deepseek-ai 組織 — 最新のリポジトリは DeepSeek-V4.1-Flash-1017 で、10月17日に作成され、11月10日にチャットテンプレートのコミットで最終更新されています。V4.1 Pro のリポジトリはなく、ゲート付きのものも、非公開に近いものもありません。

• 当社独自のカタログ — 215個のモデルID、そのうち11個がDeepSeekで、v4.1-proのどの表記にも一致するものはありません。DeepSeekの項目は、1017のDeepSeek V4.1 Flashと0813のDeepSeek V4 Proが最上位です。

DeepSeek の API をミラーするゲートウェイのカタログには、問題のエージェントが実行時に読み取るものを含め、14 個の DeepSeek ID が列挙されており、そのどれも V4.1 Pro ではない。これがこの話の中で最も際立った単一の対照だ。同じプロジェクトはライブのカタログを取得するピッカーを出荷しており、その文字列はカタログには存在しない一方、偽のカタログに対して実行されるテストには存在する。

その名前は新しいものではなく、その記録はたった一文だ。

DeepSeek V4.1 Proは2026年9月10日、DeepSeek V4.1 Flashとともに提供されたリリースノートの中で流通を開始した。そのノートは、新しいCausal Encoder-Decoderアーキテクチャを採用した5520億パラメータのMixture of Expertsモデルを発表した——入力時に80億、出力時に160億のパラメータがアクティブで、ネイティブの画像理解を備え、KVキャッシュは前世代の4分の1のサイズ——そして同じ箇条書きの中で、9月14日04:00 UTCからすべてのdeepseek-v4-proリクエストがFlashの料金でV4.1 Flashにルーティングされ、これが「V4.1-Proがローンチするまで」続くと述べた。

そのルート変更は開発者に触れた途端に立ち消えになり、D​eepSeekはDeepSeek V4 Proを料金据え置きのまま復活させた。括弧書きは残った。それからの9週間、それはV4.1系のProティアがそもそも計画されていることを示す唯一の文書証拠であり続けている。カードもチェックポイントも価格も日付もなく、そして今週時点では、D​eepSeek自身の資料のどこにも二度目の言及はない。

9月のノートが確かに示しているのは、V4.1 Proが当てはまるべき姿だ。DeepSeekはFlashを新しいアーキテクチャファミリーの最小モデルと説明し、スケールアップできるように作られたとし、能力・コスト・速度・総実行時間でV4 Proを上回ったと主張した。そのファミリーにおけるPro階層は自然な次のステップであり、期待するのも妥当だ。期待は証拠ではなく、固定された枠組みはスケジュールではない。

現在呼び出し可能なものは何か、そして V4.1 Pro が勝たなければならない比較

2つのD​eepSeekモデルがリクエストに応答しますが、その違いは名前から想像されるよりはるかに大きいです。DeepSeek V4.1 Flashは1017チェックポイント版で、視覚入力に対応した1Mコンテキストのマルチモーダルモデルであり、最大出力は384K、思考はデフォルトで有効で努力レベルは3段階、重みはMITライセンスです。オフピーク時は、キャッシュミスで100万入力トークンあたり$0.15、キャッシュヒットで$0.003、100万出力トークンあたり$0.60です。ピーク時間帯（平日のUTC 01:00–04:00と06:00–10:00）は2倍です。DeepSeek V4 Proは0813ビルド版で、前世代の1.6兆パラメータのフラッグシップです。テキスト専用で視覚入力はなく、同じ1Mコンテキストで、オフピーク時は入力$0.66／出力$1.98、つまりD​eepSeek自身のベンチマークでFlashに後れを取っているモデルに対して、Flashの価格の約4.5倍です。

独立系の評価ハーネスでも、その差は縮まっていない。Artificial AnalysisはDeepSeek V4.1 Flash 1017のIntelligence Indexスコアを33とし、インデックスタスク1件あたり14.8分・$0.60、そこに到達するまでに1億7400万トークンを生成している——冗長で、タスクあたりでは中央値のモデルより遅い。同じインデックスで、オープンウェイト勢の最上位に位置するKimi K3.1 Proは46だ。これはV4.1 Proが動かすために作られる数字であり、その名前が注目を集め続ける理由でもある。DeepSeekの安価なティアとオープンウェイトの最前線との差はインデックスの13ポイントで、これはまさにフラッグシップが埋めるべき種類の差なのだ。

1017チェックポイントが自分のワークロードでその差をどこまで埋めるかを確かめたいなら、実務上の問いは、どのD​eepSeekティアに標準化するかではなく、それについて間違っていても許容できるかどうかです。両モデルが背後に置いているのはOrcaRouter上の単一エンドポイントで、プロバイダーの定価のままマークアップなしです。つまり、上記のFlashとProの料金表は支払う金額そのままで、オフピーク時間帯も同じ時間帯です。ここではそれがいつも以上に重要です。2つのモデルは出力価格で4.5倍、あなたの特定のタスクの品質では不明な程度の差があります。したがって、安上がりに決着をつける方法は、実トラフィックの一部を一方に、別の一部をもう一方にルーティングし、試したモデルが間違った選択だった場合に自動フェイルオーバーに実験を吸収させることです。

定例を噂に変えた11時間

時系列は正確に述べられるほど短く、それは関係者の誰も新たな情報を持っていなかったことの最良の証拠だ。

• 11月11日 18:50 UTC — このコミットはピッカーのテストを追加します。ID は diff に含まれており、その diff は公開されています。

• 11月12日 13:35 UTC — 投稿者は差分に気づき、ソースファイル内の該当行へ直接リンクして、DeepSeek V4.1 Proが「まもなく登場するかもしれない」と書き込み、もう一つの可能性として、単にFlashへの別のチェックポイント更新にすぎないかもしれないと付け加えた。その投稿は不確実性について正直であり、意図の証拠としてファイルを正しく読み取っている。

• 11月12日 23:08 UTC — D​eepSeekの報道で最もよく知られるトラッカーアカウントは、ファイルでは裏付けられないという見方で返信している。テストは有料プランの最上位モデルがそのファミリーの枠を埋めることだけを確認するため、複数のD​eepSeek IDが必要だという。返信はさらに、D​eepSeekのAPIには新しいものは何もなく、新しいフラッグシップはすぐに期待すべきものではなく、2月が悲観的な予想だと付け加えている。

その一連のやり取りにはベンダーによる声明は一切なく、そのどの当事者も声明があるとは主張していない。2番目の投稿者による機構の分析は、情報源に照らす限り正しく——スロット減算こそがそのテストの目的そのものであり——そこから導かれた結論は保守的なものだ。すなわち、フィクスチャはフィクスチャにすぎない。

これを固定観念から事実に変えるには、何が必要だろうか

4つの事柄があれば決着したはずで、そのうち噂にすぎないのは1つだけだ。DeepSeekのAPIドキュメントの変更履歴でPro層に言及した項目——V4のリリースはすべてそこで発表されており、最新の項目は今も10月17日だ。deepseek-ai組織内の、名前にV4.1 Proを含むリポジトリ——V4もV4.1も、API公開から1日以内にMITのオープンウェイトとして出荷された。価格表の3行目——DeepSeekはそこに記載していないモデルを販売したことがない。あるいはAPIで解決するID——これは1回のリクエストでこれを決着させたはずの確認であり、代わりに逆の結論を出す。

それらのどれかが実現するまでは、誠実な要約は投稿が示唆するより狭く、日付より役に立つ。現役のエンジニアが11月11日にテスト表へ deepseek-v4.1-pro と入力した。おそらく、それが著者がすでに扱っていた系統の中で明らかな次の名前だったからであり、どこかで見かけていた可能性もあるからだ。この文字列を知っておく価値があるのはまさにその理由だ——ツール群に近い人々がその名前を期待しているという、小さく弱いが本物のシグナルである——そしてスケジュールとしてはまったく価値がない。トラッカーの2月は推測であり、引用ツイートの「近日公開」も推測であり、両者が読者より多く持っている唯一のものは、同じ公開コミットだ。