DeepSeek V4.1 Pro Muncul di Kode Sumber Agen Coding. Itu Adalah Fixture Pengujian.

Pada 18:50 UTC tanggal 11 November 2026, sebuah commit masuk ke kode pemilih model milik agen coding open-source. Di antara string yang ditambahkannya ada deepseek/deepseek-v4.1-pro. Dalam waktu sehari, id itu telah berpindah dari diff kode ke sebuah quote-tweet yang berbunyi “DeepSeek-v4.1-pro mungkin akan segera hadir”, dan dari sana ke timeline pelacak yang membalas bahwa whale baru bukanlah sesuatu yang bisa diharapkan dalam waktu dekat, “mungkin baru sampai Feb (semoga tidak)”. Id itu nyata dan commit-nya publik, jadi penampakannya bisa diperiksa — tetapi hal yang ditunjuknya tidak. String itu muncul tepat dua kali di seluruh repositori, keduanya di dalam satu unit test, sebagai baris fixture dalam tabel entri model yang dibuat-buat. D​eepSeek V4.1 Pro belum dirilis. Dokumentasi D​eepSeek sendiri masih memasarkan tepat dua model chat: DeepSeek V4.1 Flash, sekarang pada checkpoint 1017, dan DeepSeek V4 Pro, masih pada build 0813.

Ini adalah artikel tentang apa yang kita ketahui sejauh ini mengenai model yang belum dirilis, jadi tidak ada yang di bawah ini boleh dibaca sebagai peluncuran, tanggal, lembar spesifikasi, atau harga. Berikut adalah dokumen yang memulainya, mekanisme di dalam dokumen itu yang menjelaskan mengapa sebuah id D​eepSeek tingkat Pro harus ada di sana, dan pemeriksaan yang membedakan sebuah fixture dari sebuah listing — yang masing-masing dapat dijalankan ulang oleh siapa pun di browser.

Apa yang sebenarnya ditambahkan oleh commit, baris demi baris

Perubahannya kecil dan tujuannya biasa saja: perubahan ini membuat empat model yang tercakup dalam paket berbayar berada di bagian atas pemilih model, bukan di suatu tempat di bawahnya, dan mencegah model yang sama menempati slot kedua melalui logika penyorotan per keluarga pada pemilih tersebut. Dua file sumber berubah. Satu memperkenalkan daftar empat ID; yang lainnya menulis ulang fungsi proyeksi dan menambahkan tes.

Tes ini bernama picker lists Token Pass models first without a second slot for their families. Tes ini membangun delapan baris katalog palsu dan memastikan urutan yang seharusnya dihasilkan oleh picker. Empat dari delapan baris tersebut adalah id yang dibayar oleh paket. Fixture DeepSeek ditulis sebagai deepseek/deepseek-v4.1-pro dengan released = 260 dan has_tool_use = true, berada di samping deepseek/deepseek-v4.1-flash pada released = 255. Angka-angka itu bukan tanggal, stempel waktu, atau apa pun yang akan dikembalikan oleh katalog; angka-angka tersebut adalah kunci pengurutan ordinal yang digunakan fixture sehingga asersi tidak bergantung pada feed langsung. Setiap baris dalam tabel itu — termasuk entri Claude, GPT, dan Kimi — ditulis tangan untuk tes ini.

Asersi itu sendiri adalah bagian yang penting. Urutan yang diharapkan menempatkan id DeepSeek Pro di posisi ketujuh dari delapan, di belakang model Flash yang dicantumkan paket berbayar, di belakang dua model Z.ai, dan di belakang id Claude sekaligus id OpenAI. Dalam proyeksi katalog nyata, id Pro dengan kunci kebaruan yang lebih tinggi daripada id Flash biasanya akan memenangkan satu-satunya slot sorotan keluarga tersebut. Tes ini ada untuk membuktikan bahwa hal itu tidak terjadi, karena model paket berbayar sudah menempati slot tersebut. Fixture yang ditulis untuk kalah adalah hal yang aneh untuk dibaca sebagai pengumuman.

Mengapa sebuah id Pro harus ada di fixture itu sama sekali

Ini adalah satu-satunya bagian dari cerita yang merupakan mekanisme, bukan spekulasi, dan ini juga bagian yang membuat penampakan itu terasa lebih bermakna daripada yang sebenarnya.

Daftar sorotan pemilih memberikan keluarga D​eepSeek hitungan satu: satu model D​eepSeek dipromosikan ke bagian kurasi. Model yang dicakup paket berbayar didorong ke paling atas terlebih dahulu. Jika model teratas itu termasuk keluarga D​eepSeek, slot keluarga tersebut dianggap terisi, dan perulangan sorotan dilewati untuknya. Itulah keseluruhan perilaku yang diuji, dan diimplementasikan sebagai pengurangan: jumlah slot dikurangi jumlah model yang sudah dipilih untuk keluarga tersebut.

Untuk menunjukkan bahwa pengurangan itu berpengaruh, fixture memerlukan id D​eepSeek kedua yang jika tidak demikian akan terpilih — dan id itu harus menjadi kandidat terkuat yang mungkin, jika tidak pengujian tidak membuktikan apa pun. Komparator keluarga picker lebih memilih model terbaru berdasarkan kunci recency, dan pada recency yang sama komparator menerapkan peringkat khusus DeepSeek yang membuat sufiks -pro diurutkan sebelum varian thinking, yang diurutkan sebelum semua yang lain, dengan -flash di urutan terakhir. Oleh karena itu, fixture -pro dengan kunci recency lebih tinggi daripada model Flash adalah baris tepat yang akan merebut slot tersebut jika pengurangan baru dihapus. Pengujian ditulis sedemikian rupa sehingga fixture harus berupa id Pro dan harus lebih baru daripada Flash.

Dengan itu Anda mendapatkan id DeepSeek Pro di diff tanpa ada yang mengetahui apa pun. Itu tidak, dengan sendirinya, menjelaskan versi. Tingkat Pro aktif DeepSeek adalah DeepSeek V4 Pro, dan fixture yang jelas seharusnya adalah id model yang benar-benar ada. Siapa pun yang menulis baris itu malah memilih v4.1-pro — yang entah merupakan tebakan wajar untuk nama berikutnya dalam rangkaian, atau salinan string nyata dari tempat lain. File tersebut tidak memberi cara untuk membedakan yang mana, dan ambiguitas itulah seluruh isi kebocoran. Semua yang diposting setelah 11 November merupakan turunan darinya.

Empat pemeriksaan yang membedakan fixture dari listing

Jika D​eepSeek benar-benar telah menyiapkan tier Pro, id tersebut akan muncul di suatu tempat yang dapat dijangkau pelanggan, bukan hanya dalam tabel pengujian. Masing-masing berikut diperiksa pada 13 November 2026 dan masing-masing merupakan pemuatan satu halaman.

• Log perubahan D​eepSeek — entri terbaru adalah 17 Oktober 2026, pembaruan Flash 1017 dan pembukaan API pencarian. Belum pernah ada entri V4.1 Pro. Setiap rilis V4 yang dibuat D​eepSeek selalu diumumkan lebih dahulu di halaman ini.

• Daftar model dan lembar harga DeepSeek — dua nama model, deepseek-flash dan deepseek-v4-pro, dengan string versi DeepSeek-V4.1-Flash-1017 dan DeepSeek-V4-Pro-0813 terlampir. Tidak ada baris ketiga, tidak ada baris V4.1 tingkat Pro, tidak ada placeholder.

• Organisasi deepseek-ai di Hugging Face — repositori terbaru adalah DeepSeek-V4.1-Flash-1017, dibuat 17 Oktober, terakhir disentuh 10 November dengan commit chat-template. Tidak ada repositori V4.1 Pro, tidak ada yang gated, tidak ada yang mirip-privat.

• Katalog kami sendiri — 215 id model, sebelas di antaranya DeepSeek, dan tidak ada yang cocok dengan ejaan apa pun dari v4.1-pro. Entri DeepSeek paling tinggi adalah DeepSeek V4.1 Flash pada 1017 dan DeepSeek V4 Pro pada 0813.

Katalog gateway yang mencerminkan API DeepSeek, termasuk katalog yang dibaca agen yang dimaksud saat runtime, mencantumkan empat belas id DeepSeek dan tidak satu pun di antaranya adalah V4.1 Pro. Itulah kontras tunggal paling tajam dalam cerita ini: proyek yang sama menyertakan pemilih yang mengambil katalog langsung, dan string tersebut tidak ada dalam katalog tetapi ada dalam pengujian yang dijalankan terhadap katalog palsu.

Nama itu bukan hal baru, dan jejak dokumennya hanya satu kalimat.

DeepSeek V4.1 Pro mulai beredar pada 10 September 2026, dalam catatan rilis yang dirilis bersama DeepSeek V4.1 Flash. Catatan tersebut mengumumkan model mixture of experts 552 miliar parameter dengan arsitektur Causal Encoder-Decoder baru — 8 miliar parameter aktif pada input, 16 miliar pada output, pemahaman gambar native, cache KV seperempat ukuran generasi sebelumnya — lalu, dalam daftar butir yang sama, menyatakan bahwa mulai 04:00 UTC pada 14 September semua permintaan deepseek-v4-pro akan dialihkan ke V4.1 Flash dengan tarif Flash, dan bahwa hal ini akan berlanjut "sampai V4.1-Pro diluncurkan".

Pengalihan rute itu tidak bertahan saat bersentuhan dengan para pengembang, dan D​eepSeek memulihkan DeepSeek V4 Pro dengan penagihan yang tidak berubah. Keterangan dalam tanda kurung itu bertahan. Dalam sembilan minggu sejak itu, keterangan tersebut menjadi satu-satunya bukti dokumenter bahwa tier Pro dari lini V4.1 memang direncanakan: tidak ada kartu, tidak ada checkpoint, tidak ada harga, tidak ada tanggal, dan — per minggu ini — tidak ada penyebutan kedua di mana pun dalam materi D​eepSeek sendiri.

Yang memang ditetapkan oleh catatan September adalah bentuk yang harus dipenuhi oleh V4.1 Pro. D​eepSeek menggambarkan Flash sebagai model terkecil dalam keluarga arsitektur baru, yang dibangun agar skalanya dapat ditingkatkan, dan mengklaim bahwa model itu mengungguli V4 Pro dalam hal kemampuan, biaya, kecepatan, dan total waktu berjalan. Tier Pro dalam keluarga itu adalah langkah berikutnya yang wajar dan hal yang masuk akal untuk diharapkan. Ekspektasi bukanlah bukti, dan fixture bukanlah jadwal.

Apa yang dapat dipanggil hari ini, dan perbandingan yang harus dimenangkan oleh V4.1 Pro

Dua model DeepSeek menjawab permintaan, dan perbedaan keduanya lebih besar daripada yang disiratkan namanya. DeepSeek V4.1 Flash, pada checkpoint 1017, adalah model multimodal berkonteks 1M dengan input visual, output maksimum 384K, mode thinking aktif secara default dengan tiga tingkat upaya, dan lisensi MIT untuk bobotnya. Di luar jam sibuk, biayanya $0.15 per juta token input saat cache miss, $0.003 saat cache hit, dan $0.60 per juta output; jam sibuk — 01:00–04:00 dan 06:00–10:00 UTC pada hari kerja — dua kali lipat. DeepSeek V4 Pro, pada build 0813, adalah flagship 1,6 triliun parameter dari generasi sebelumnya: hanya teks, tanpa kemampuan visual, konteks 1M yang sama, dan $0.66 input / $1.98 output di luar jam sibuk, atau sekitar empat setengah kali harga Flash untuk model yang menurut benchmark DeepSeek sendiri berada di bawah Flash.

Pada harness independen, kesenjangannya juga tidak tipis. Artificial Analysis memberi DeepSeek V4.1 Flash 1017 skor 33 pada Intelligence Index-nya, dengan 14,8 menit dan $0,60 per tugas indeks, serta menghasilkan 174 juta token untuk mencapainya — bertele-tele, dan lebih lambat daripada model median per tugas. Indeks yang sama menempatkan Kimi K3.1 Pro, entri open-weights teratas, pada 46. Itulah angka yang ingin digeser oleh V4.1 Pro, dan itulah alasan nama itu terus menarik perhatian: kesenjangan antara tier murah DeepSeek dan garis depan open-weights adalah tiga belas poin indeks, yang persis merupakan jenis kesenjangan yang seharusnya ditutup oleh sebuah model unggulan.

Jika Anda ingin mengetahui apakah checkpoint 1017 menutup sebagian dari itu pada beban kerja Anda sendiri, pertanyaan praktisnya bukanlah tingkatan DeepSeek mana yang harus dijadikan standar, melainkan apakah Anda mampu menanggung risikonya jika salah. Kedua model berada di belakang satu endpoint di OrcaRouter dengan harga daftar penyedia tanpa markup, yang berarti kartu tarif Flash dan Pro di atas adalah angka yang sama dengan yang Anda bayar, dan jendela off-peak adalah jendela yang sama. Ini lebih penting dari biasanya di sini: kedua model berbeda 4,5x pada harga output dan sejumlah yang tidak diketahui pada kualitas untuk tugas spesifik Anda, jadi cara murah untuk menyelesaikannya adalah dengan merutekan sebagian lalu lintas nyata ke satu model dan sebagian ke model lainnya, dan biarkan failover otomatis menyerap eksperimen tersebut jika model yang Anda coba ternyata adalah pilihan yang salah.

Sebelas jam yang mengubah suatu kepastian menjadi rumor

Garis waktunya cukup singkat untuk dinyatakan secara persis, dan itu adalah bukti terbaik bahwa tidak seorang pun yang terlibat memiliki informasi baru.

• 11 November, 18:50 UTC — commit tersebut menambahkan tes picker. ID-nya ada di dalam diff dan diff tersebut bersifat publik.

• 12 November, 13:35 UTC — seorang pengguna yang memposting menyadari diff tersebut, menautkan langsung ke baris di file sumber, dan menulis bahwa D​eepSeek V4.1 Pro "mungkin akan segera hadir", sambil menambahkan kemungkinan lain bahwa itu mungkin hanyalah pembaruan checkpoint lain untuk Flash. Postingan itu jujur tentang ketidakpastian dan membaca file tersebut dengan benar sebagai bukti niat.

• 12 November, 23:08 UTC — akun pelacak yang paling dikenal karena liputan DeepSeek membalas dengan tafsiran bahwa berkas itu tidak mendukung: tes tersebut hanya memeriksa bahwa model paket berbayar di posisi teratas mengisi slot keluarganya, jadi dibutuhkan lebih dari satu ID DeepSeek. Balasan itu menambahkan bahwa API DeepSeek tidak memiliki hal baru, bahwa flagship baru bukan sesuatu yang bisa diharapkan dalam waktu dekat, dan bahwa Februari adalah tebakan pesimistis.

Tidak ada apa pun dalam urutan itu yang merupakan pernyataan vendor, dan tidak ada pihak di dalamnya yang mengklaim memilikinya. Analisis poster kedua tentang mekanisme itu benar sejauh sumbernya — pengurangan slot memang persis tujuan pengujian tersebut — dan kesimpulan yang diambil adalah yang konservatif: fixture itu memang fixture.

Apa yang akan mengubah ini dari sekadar hal yang sudah mapan menjadi fakta?

Empat hal yang akan menjadi penentu, dan hanya satu di antaranya adalah rumor. Entri changelog pada dokumentasi API DeepSeek yang menyebut tier Pro, karena di situlah setiap rilis V4 diumumkan dan entri terbarunya masih 17 Oktober. Sebuah repositori di organisasi deepseek-ai dengan nama V4.1 Pro, karena V4 dan V4.1 dirilis sebagai bobot terbuka di bawah MIT dalam waktu sehari setelah peluncuran API mereka. Baris ketiga pada daftar harga — DeepSeek belum pernah menjual model yang tidak dicantumkan di sana. Atau sebuah id yang ter-resolve di API, yang merupakan pemeriksaan yang seharusnya menyelesaikan ini dalam satu permintaan, tetapi justru menyelesaikannya ke arah sebaliknya.

Sampai salah satu dari itu terwujud, ringkasan yang jujur lebih sempit daripada yang disiratkan unggahan-unggahan itu dan lebih berguna daripada sebuah tanggal. Seorang engineer yang bekerja mengetikkan deepseek-v4.1-pro ke dalam tabel uji pada 11 November, kemungkinan besar karena itu adalah nama berikutnya yang jelas dalam rangkaian yang sudah ditangani penulisnya, dan mungkin karena nama itu pernah terlihat di suatu tempat. String itu layak diketahui justru karena alasan itu — ini adalah sinyal nyata yang kecil dan lemah bahwa orang-orang yang dekat dengan tooling tersebut mengharapkan nama itu — dan sama sekali tidak bernilai sebagai jadwal. Februari dari pelacak itu adalah tebakan, "segera hadir" dari tweet kutipan itu adalah tebakan, dan satu-satunya hal yang dimiliki keduanya yang tidak dimiliki pembaca adalah commit publik yang sama.