🔥 WCTC S8 全球交易賽正式開賽！
8,000,000 USDT 超級獎池解鎖開啟
🏆 團隊賽：上半場正式開啟，預報名階段 5,500+ 戰隊現已集結
交易量收益額雙重比拼，解鎖上半場 1,800,000 USDT 獎池
🏆 個人賽：現貨、合約、TradFi、ETF、閃兌、跟單齊上陣
全場交易量比拼，瓜分 2,000,000 USDT 獎池
🏆 王者 PK 賽：零門檻參與，實時匹配享受戰鬥快感
收益率即時 PK，瓜分 1,600,000 USDT 獎池
活動時間：2026 年 4 月 23 日 16:00:00 - 2026 年 5 月 20 日 15:59:59 UTC+8
⬇️ 立即參與：https://www.gate.com/competition/wctc-s8
#WCTCS8
DeepSeek發布Prover-V2模型，參數量達6710億
【DeepSeek發布Prover-V2模型，參數量達6710億】DeepSeek今日於AI開源社區Hugging Face上發布了一個名爲DeepSeek-Prover-V2-671B的新模型。據悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，並支持多種計算精度，方便模型更快、更省資源地訓練和部署，參數達6710億，或爲去年發布的Prover-V1.5數學模型升級版本。在模型架構上，該模型使用了DeepSeek-V3架構，採用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時支持超長上下文，最大位置嵌入達16.38萬，使其能處理復雜的數學證明，並且採用了FP8量化，可通過量化技術減小模型大小，提高推理效率。(金十)