就在大家準(zhǔn)備開啟假期模式時，DeepSeek 果然又祭出了祖?zhèn)鞯募偃胀灰u技能，這次不是網(wǎng)傳的R2，而是推理核彈級模型——DeepSeek-Prover-V2-671B。

核心參數(shù)：
? 671B參數(shù)巨無霸，MoE架構(gòu)火力全開
? 每層都是MoE！256專家陣列+共享專家
? 單token激活8專家，中間層2048寬
? 逆天163k上下文窗口，直接改寫長文檔認(rèn)知邊界

升級版剛上線HuggingFace，就狂攬100+星，技術(shù)宅們怕不是已經(jīng)組隊(duì)開始壓力測試了。

所以問題來了：

1. 這次"假期特別版"會不會又藏著什么數(shù)學(xué)推理黑科技？
2. 之前Prover系列的邏輯證明能力會有多大飛躍？
3. 繼128k之后直接翻倍到163k，文檔理解要革命？