DeepSeek V4.1 Pro đã xuất hiện trong mã nguồn của một coding agent. Đó là một fixture kiểm thử.

Vào 18:50 UTC ngày 11 tháng 11 năm 2026, một commit đã được đưa vào mã chọn model của một coding agent mã nguồn mở. Trong số các chuỗi mà nó thêm vào có deepseek/deepseek-v4.1-pro. Trong vòng một ngày, id này đã đi từ một diff mã nguồn vào một quote-tweet có nội dung “DeepSeek-v4.1-pro có thể sắp ra mắt”, và từ đó vào timeline của tracker, người đã trả lời rằng một cá voi mới không phải là thứ nên mong đợi trong thời gian tới, “có lẽ phải đến tháng Hai (tôi hy vọng là không)”. Id là thật và commit là công khai, nên việc bắt gặp nó có thể kiểm chứng được — nhưng thứ mà nó chỉ đến thì không. Chuỗi này xuất hiện đúng hai lần trong toàn bộ repository, cả hai lần đều nằm trong một unit test duy nhất, như một hàng fixture trong bảng các mục model được bịa ra. D​eepSeek V4.1 Pro chưa được phát hành. Tài liệu của chính D​eepSeek vẫn chỉ cung cấp đúng hai chat model: DeepSeek V4.1 Flash, hiện ở checkpoint 1017, và DeepSeek V4 Pro, vẫn ở bản build 0813.

Đây là bài tổng hợp những gì chúng ta đã biết cho đến nay về một mô hình chưa phát hành, nên không nội dung nào dưới đây nên được hiểu là thông báo ra mắt, ngày ra mắt, bảng thông số hay giá bán. Phần tiếp theo là tài liệu đã khởi nguồn câu chuyện, cơ chế bên trong tài liệu đó giải thích vì sao một id D​eepSeek cấp Pro buộc phải có mặt, và các bước kiểm tra giúp phân biệt một fixture với một listing — mỗi bước đều có thể được bất kỳ ai chạy lại trong trình duyệt.

Commit thực sự đã thêm những gì, từng dòng một

Thay đổi này nhỏ và mục đích của nó khá tầm thường: nó đặt bốn mô hình mà gói trả phí bao gồm ở đầu trình chọn mô hình thay vì ở đâu đó bên dưới, và ngăn chính những mô hình đó chiếm một vị trí thứ hai thông qua logic làm nổi bật theo từng nhóm của trình chọn. Hai tệp mã nguồn thay đổi. Một tệp giới thiệu danh sách bốn id; tệp còn lại viết lại hàm chiếu và thêm một bài kiểm thử.

Bài kiểm thử có tên picker liệt kê các mô hình Token Pass trước mà không có vị trí thứ hai cho các họ của chúng. Nó tạo tám hàng danh mục giả và khẳng định thứ tự mà picker phải tạo ra. Bốn trong số tám là các id mà gói dịch vụ trả tiền. Fixture D​eepSeek được viết là deepseek/deepseek-v4.1-pro với released = 260 và has_tool_use = true, nằm cạnh deepseek/deepseek-v4.1-flash tại released = 255. Những con số đó không phải ngày tháng, dấu thời gian hay bất cứ thứ gì mà danh mục sẽ trả về; chúng là các khóa sắp xếp thứ tự mà các fixture dùng để các khẳng định không phụ thuộc vào nguồn cấp dữ liệu trực tiếp. Mọi hàng trong bảng đó — bao gồm các mục Claude, G​PT và K​imi — đều được viết tay cho bài kiểm thử.

Và bản thân lời khẳng định mới là phần quan trọng. Thứ tự kỳ vọng đặt id DeepSeek Pro ở vị trí thứ bảy trên tám, sau mô hình Flash mà gói trả phí liệt kê, sau hai mô hình Z.ai và sau cả một id Claude lẫn một id OpenAI. Trong một phép chiếu danh mục thực tế, một id Pro có khóa độ mới cao hơn id Flash thông thường sẽ giành được slot nổi bật duy nhất của dòng mô hình. Bài kiểm tra tồn tại để chứng minh rằng nó không làm vậy, bởi mô hình của gói trả phí đã chiếm slot đó rồi. Một fixture được viết để thua là một thứ kỳ lạ khi đọc như một thông báo.

Tại sao lại cần có một Pro id trong fixture ngay từ đầu

Đây là phần duy nhất của câu chuyện mang tính cơ chế thay vì suy đoán, và cũng chính là phần khiến lần nhìn thấy đó có vẻ có ý nghĩa hơn mức nó thực sự có.

Danh sách nổi bật của bộ chọn gán cho họ D​eepSeek số lượng là một: một mô hình D​eepSeek được đưa lên phần tuyển chọn. Một mô hình mà gói trả phí bao phủ trước tiên được đẩy lên vị trí trên cùng. Nếu mô hình trên cùng đó thuộc họ D​eepSeek, vị trí của họ này được coi là đã được lấp đầy, và vòng lặp nổi bật sẽ bị bỏ qua đối với nó. Đó là toàn bộ hành vi đang được kiểm thử, và nó được triển khai dưới dạng một phép trừ: số lượng vị trí trừ đi số mô hình đã được chọn cho họ đó.

Để chứng minh rằng phép trừ có tác dụng gì đó, fixture cần một id DeepSeek thứ hai mà nếu không thì đã được chọn — và nó cần là ứng viên mạnh nhất có thể, nếu không thì bài kiểm thử chẳng chứng minh được gì. Bộ so sánh cùng họ của bộ chọn ưu tiên mô hình mới nhất theo khóa độ mới, và khi độ mới bằng nhau, nó áp dụng một thứ hạng riêng cho DeepSeek, trong đó hậu tố -pro được xếp trước một biến thể thinking, biến thể này xếp trước mọi thứ còn lại, còn -flash đứng cuối. Do đó, một fixture -pro có khóa độ mới cao hơn mô hình Flash chính là hàng chính xác sẽ chiếm mất chỗ nếu phép trừ mới bị gỡ bỏ. Bài kiểm thử được viết sao cho fixture bắt buộc phải là một id Pro và phải mới hơn Flash.

Điều đó cho bạn một id D​eepSeek Pro trong diff mà không ai biết gì. Tự thân nó không giải thích được phiên bản. Gói Pro đang hoạt động của D​eepSeek là DeepSeek V4 Pro, và fixture hiển nhiên lẽ ra phải là id của một mô hình có thật. Người viết dòng đó lại chọn v4.1-pro — đó hoặc là một phỏng đoán tự nhiên về cái tên tiếp theo trong dòng, hoặc là bản sao của một chuỗi có thật từ nơi khác. Tệp không cho cách nào để phân biệt, và sự mơ hồ đó chính là toàn bộ nội dung của vụ rò rỉ. Mọi thứ được đăng sau ngày 11 tháng 11 đều bắt nguồn từ đó.

Bốn bước kiểm tra để phân biệt một vật cố định với một bản niêm yết

Nếu DeepSeek thực sự đã chuẩn bị một gói Pro, thì ID đó sẽ xuất hiện ở đâu đó mà khách hàng có thể truy cập, chứ không chỉ trong một bảng kiểm thử. Mỗi mục sau đây đã được kiểm tra vào ngày 13 tháng 11 năm 2026 và mỗi mục đều là một lần tải một trang.

• Nhật ký thay đổi của D​eepSeek — mục mới nhất là ngày 17 tháng 10 năm 2026, bản cập nhật Flash 1017 và việc mở API tìm kiếm. Chưa từng có mục V4.1 Pro nào. Mọi bản phát hành V4 mà D​eepSeek đã thực hiện đều được công bố trên trang này trước tiên.

• Danh sách mô hình và bảng giá của DeepSeek — hai tên mô hình, deepseek-flash và deepseek-v4-pro, gắn với các chuỗi phiên bản DeepSeek-V4.1-Flash-1017 và DeepSeek-V4-Pro-0813. Không có dòng thứ ba, không có dòng V4.1 hạng Pro, không có phần giữ chỗ.

• Tổ chức deepseek-ai trên Hugging Face — kho lưu trữ mới nhất là DeepSeek-V4.1-Flash-1017, được tạo ngày 17 tháng 10, lần cuối được cập nhật ngày 10 tháng 11 với một commit chat-template. Không có kho lưu trữ V4.1 Pro, không có kho lưu trữ bị hạn chế truy cập nào, không có gì gần với riêng tư.

• Danh mục riêng của chúng tôi — 215 model id, mười một trong số đó là D​eepSeek, và không có mục nào khớp với bất kỳ cách viết nào của v4.1-pro. Các mục D​eepSeek chỉ lên tới DeepSeek V4.1 Flash trên 1017 và DeepSeek V4 Pro trên 0813.

Các danh mục của gateway phản chiếu API của D​eepSeek, bao gồm cả danh mục mà agent đang được nói tới đọc tại thời điểm chạy, liệt kê mười bốn id D​eepSeek và không có id nào trong số đó là V4.1 Pro. Đó là tương phản đơn lẻ sắc nét nhất trong câu chuyện này: cùng một dự án cung cấp một trình chọn tải danh mục trực tiếp, và chuỗi này vắng mặt trong danh mục trong khi lại có mặt trong bài kiểm thử chạy với một danh mục giả.

Cái tên này không mới, và dấu vết giấy tờ của nó chỉ gói gọn trong một câu.

DeepSeek V4.1 Pro bắt đầu lưu hành vào ngày 10 tháng 9 năm 2026, trong ghi chú phát hành đi kèm DeepSeek V4.1 Flash. Ghi chú công bố một mô hình hỗn hợp chuyên gia 552 tỷ tham số trên kiến trúc Causal Encoder-Decoder mới — 8 tỷ tham số hoạt động ở đầu vào, 16 tỷ ở đầu ra, khả năng hiểu hình ảnh gốc, bộ nhớ đệm KV chỉ bằng một phần tư kích thước của thế hệ trước — và sau đó, trong cùng danh sách gạch đầu dòng, cho biết rằng từ 04:00 UTC ngày 14 tháng 9, mọi yêu cầu deepseek-v4-pro sẽ được định tuyến đến V4.1 Flash với mức giá Flash, và điều này sẽ tiếp tục "cho đến khi V4.1-Pro ra mắt".

Việc định tuyến lại đã không trụ nổi khi tiếp xúc với các nhà phát triển, và D​eepSeek đã khôi phục DeepSeek V4 Pro với mức tính phí không đổi. Phần trong ngoặc vẫn còn. Trong chín tuần kể từ đó, đó là bằng chứng tài liệu duy nhất cho thấy một hạng Pro thuộc dòng V4.1 đang được lên kế hoạch: không có card, không có checkpoint, không có giá, không có ngày, và — tính đến tuần này — không có lần nhắc thứ hai nào ở bất kỳ đâu trong tài liệu của chính D​eepSeek.

Điều mà bản ghi chú tháng 9 thực sự xác lập là khuôn hình mà một V4.1 Pro sẽ phải khớp vào. DeepSeek mô tả Flash là mô hình nhỏ nhất trong một họ kiến trúc mới, được xây dựng để có thể mở rộng quy mô, và tuyên bố nó vượt V4 Pro về năng lực, chi phí, tốc độ và tổng thời gian chạy. Một hạng Pro trong họ đó là bước tiếp theo tự nhiên và là điều hợp lý để kỳ vọng. Kỳ vọng không phải bằng chứng, và fixture không phải là lịch trình.

Hôm nay có thể gọi được gì, và phép so sánh mà một V4.1 Pro sẽ phải thắng

Hai mô hình D​eepSeek trả lời các yêu cầu, và chúng khác xa nhau hơn tên gọi gợi ý. D​eepSeek V4.1 Flash, trên checkpoint 1017, là một mô hình đa phương thức ngữ cảnh 1M với đầu vào hình ảnh, đầu ra tối đa 384K, chế độ suy nghĩ bật mặc định với ba mức nỗ lực, và giấy phép MIT cho trọng số. Ngoài giờ cao điểm, nó có giá 0,15 USD mỗi triệu token đầu vào khi trượt bộ nhớ đệm, 0,003 USD khi trúng bộ nhớ đệm, và 0,60 USD mỗi triệu token đầu ra; giờ cao điểm — 01:00–04:00 và 06:00–10:00 UTC vào các ngày trong tuần — tính gấp đôi. D​eepSeek V4 Pro, trên bản dựng 0813, là mô hình hàng đầu 1,6 nghìn tỷ tham số của thế hệ trước: chỉ văn bản, không có thị giác, cùng ngữ cảnh 1M, và 0,66 USD đầu vào / 1,98 USD đầu ra ngoài giờ cao điểm, tức khoảng bốn lần rưỡi giá của Flash cho một mô hình mà theo chính các bài đánh giá của D​eepSeek thì bị xếp sau nó.

Trên bộ khung đánh giá độc lập, khoảng cách cũng không hề nhỏ. Artificial Analysis chấm DeepSeek V4.1 Flash 1017 được 33 điểm trên Intelligence Index của mình, với 14,8 phút và 0,60 USD mỗi tác vụ chỉ số, tạo ra 174 triệu token để đạt được con số đó — dài dòng và chậm hơn mô hình trung vị trên mỗi tác vụ. Cùng chỉ số này xếp Kimi K3.1 Pro, mục open-weights hàng đầu, ở mức 46. Đó là con số mà một V4.1 Pro sẽ được tạo ra để dịch chuyển, và đó là lý do cái tên này liên tục thu hút sự chú ý: khoảng cách giữa phân khúc giá rẻ của DeepSeek và biên giới open-weights là mười ba điểm chỉ số, đúng kiểu khoảng cách mà một mẫu flagship được kỳ vọng sẽ thu hẹp.

Nếu bạn muốn tự mình tìm hiểu xem checkpoint 1017 có khép lại được phần nào trong số đó trên khối lượng công việc của riêng bạn hay không, câu hỏi thực tế không phải là nên chuẩn hóa theo hạng D​eepSeek nào, mà là liệu bạn có đủ khả năng chịu sai về điều đó hay không. Cả hai mô hình đều nằm sau một endpoint duy nhất trên OrcaRouter với giá niêm yết của nhà cung cấp và không cộng thêm, nghĩa là bảng giá Flash và Pro ở trên chính là những con số bạn phải trả, và khung giờ thấp điểm cũng là khung giờ đó. Điều này ở đây quan trọng hơn bình thường: hai mô hình chênh nhau 4,5 lần về giá đầu ra và chênh nhau một mức chưa rõ về chất lượng cho tác vụ cụ thể của bạn, nên cách rẻ để giải quyết là định tuyến một phần lưu lượng thật đến mô hình này và một phần đến mô hình kia, rồi để chuyển đổi dự phòng tự động gánh lấy thử nghiệm nếu mô hình bạn đã thử hóa ra là lựa chọn sai.

Mười một giờ đồng hồ đã biến một trận đấu được ấn định thành một tin đồn

Dòng thời gian đủ ngắn để trình bày chính xác, và đó là bằng chứng tốt nhất rằng không ai trong số những người liên quan có thông tin mới.

• 11 tháng 11, 18:50 UTC — commit này bổ sung kiểm thử cho picker. Id nằm trong diff và diff là công khai.

• 12 tháng 11, 13:35 UTC — một người đăng bài nhận thấy diff, liên kết thẳng đến dòng trong tệp nguồn và viết rằng DeepSeek V4.1 Pro "có thể sắp ra mắt", đồng thời nêu khả năng khác rằng đó có thể chỉ là một bản cập nhật checkpoint khác cho Flash. Bài đăng trung thực về sự không chắc chắn và đọc đúng tệp như bằng chứng về ý định.

• 12 tháng 11, 23:08 UTC — tài khoản theo dõi nổi tiếng nhất với việc đưa tin về {{1}}D​eepSeek{{/1}} trả lời bằng cách lý giải rằng tệp không ủng hộ điều đó: bài kiểm tra chỉ kiểm tra rằng một mô hình gói trả phí ở vị trí đầu điền vào vị trí của nhóm mô hình đó, nên nó cần nhiều hơn một id {{2}}D​eepSeek{{/2}}. Câu trả lời nói thêm rằng API của {{3}}D​eepSeek{{/3}} không có gì mới, rằng một mẫu flagship mới không phải là thứ nên mong đợi sớm, và rằng tháng Hai là dự đoán bi quan.

Không có gì trong chuỗi đó là tuyên bố của nhà cung cấp, và không bên nào trong đó tuyên bố có một tuyên bố như vậy. Phân tích của người đăng thứ hai về cơ chế là đúng xét theo những gì nguồn đưa ra — việc trừ khe chính xác là mục đích của bài kiểm tra — và kết luận được rút ra là kết luận thận trọng: fixture vẫn là fixture.

Điều gì sẽ biến điều này từ một thứ cố định thành sự thật?

Bốn thứ sẽ giải quyết được, và chỉ một trong số đó là tin đồn. Một mục changelog trên tài liệu API của D​eepSeek nêu tên một hạng Pro, vì đó là nơi mọi bản phát hành V4 đều được công bố và mục mới nhất của nó vẫn là ngày 17 tháng 10. Một kho trong tổ chức deepseek-ai có V4.1 Pro trong tên, vì cả V4 và V4.1 đều được phát hành dưới dạng trọng số mở theo MIT trong vòng một ngày kể từ khi ra mắt API. Một hàng thứ ba trên bảng giá — D​eepSeek chưa từng bán một mô hình mà nó không liệt kê ở đó. Hoặc một id phân giải được trên API, tức phép kiểm tra lẽ ra đã giải quyết chuyện này chỉ với một yêu cầu, nhưng thay vào đó lại kết luận theo hướng ngược lại.

Cho đến khi một trong số đó thành hiện thực, bản tóm tắt trung thực sẽ hẹp hơn những gì các bài đăng gợi ý và hữu ích hơn một ngày cụ thể. Một kỹ sư đang làm việc đã gõ deepseek-v4.1-pro vào một bảng thử nghiệm vào ngày 11 tháng 11, rất có thể vì đó là cái tên kế tiếp hiển nhiên trong một dãy mà tác giả vốn đã đang xử lý, và có thể vì nó từng được thấy ở đâu đó. Chuỗi này đáng để biết đến chính vì lý do đó — nó là một tín hiệu nhỏ, yếu, có thật rằng những người sát với bộ công cụ kỳ vọng cái tên này — và hoàn toàn không có giá trị gì như một lịch trình. Tháng Hai của tracker là phỏng đoán, câu “sắp ra mắt” trong quote-tweet là phỏng đoán, và thứ duy nhất mà cả hai có mà người đọc không có cũng chính là cùng một commit công khai.