Gate News 消息，4 月 25 日——DeepSeek 於 4 月 24 日發布 V4-Pro 與 V4-Flash 的預覽版本；兩者皆為開放權重模型，擁有一百萬 token 的上下文視窗。V4-Pro 具備 1.6 兆的總參數，但在每次推論時僅啟用 490 億參數，並採用 Mixture-of-Experts 架構。

Gate News 訊息，4 月 25 日 — 百度智能雲已將 DeepSeek-V4 引入其千帆平台，提供對新發布 AI 模型的 API 存取。DeepSeek-V4 提供兩個版本—DeepSeek-V4-Pro 和 DeepSeek-V4-Flash，並具備百萬代幣擴展上下文窗口。 企業和

Gate News 消息，4 月 24 日——DeepSeek V4-Pro 和 DeepSeek V4-Flash 于 4 月 24 日正式发布，并开源，背景处理长度已从 128K 大幅扩展至 1M，代表近 10 倍的容量提升。华为计算宣布其 Ascend 超算节点

Gate 新聞訊息，4月24日——DeepSeek V4 已發布來自正式數學推理評估的結果，在 Putnam-2025 中取得滿分 120/120，與 Axiom 並列第一名。 在使用 LeanExplore 與受約束取樣的實務模式下，V4-Flash-Max 在

Gate 新聞訊息，4 月 24 日——DeepSeek 的 V4 技術報告顯示，V4-Flash 與 V4-Pro 分別在 32T 與 33T tokens 上進行預訓練，比用於 V3 的約 15T tokens 翻了一倍。報告承認在訓練過程中遇到「重大不穩定性挑戰」，損失尖峰反覆發生，原因是 Mixture-of-Experts MoE 層中的異常；而路由機制本身也會加劇這些異常，單純的回滾也無法解決問題，loss spi

Meituan's LongCat team open-sourced LongCat-Flash-Prover on March 21, a MoE model with 560 billion parameters, focused on Lean4 formal theorem proving. The model is divided into three capabilities: automatic formalization, sketch generation, and complete proof generation, combining reasoning tools with the Lean4 compiler for real-time verification. Training employs the Hybrid-Experts Iteration Framework and HisPO algorithm to prevent reward manipulation. Benchmark tests show that the model has set records for open-source weight models in automatic formalization and theorem proving.

Gemini CLI 將於3月25日起實施三項政策調整：免費用戶將無法訪問Pro模型、流量分配優先級調整，以及升級滥用檢測機制。開發者可通過AI Studio或Vertex AI獲取付費API密鑰。

Gate News bot notification. According to Gate's official announcement: Gate has launched CFG contract trading features, including CFG perpetual futures real trading (USDT settlement), supporting 1-20x leverage. Additionally, in margin lending, Gate has added CFG unified account borrowing, isolated margin trading pairs, and launched CFG savings, flexible collateral borrowing, and fixed collateral borrowing features. Furthermore, Gate has introduced a flash exchange function for CFG, allowing users to exchange CFG for USDT or other tokens supported by flash exchange. Regarding dollar-cost averaging, the platform has opened CFG DCA functionality, supporting multiple DCA cycles such as hourly and daily. The aforementioned perpetual contracts have enabled copy trading and trading bot services.

Gate News Report: On March 15th, according to on-chain analyst Ai 姨 (@ai_9684xtpa) monitoring, a whale address built a position of 3.667 million THE at an average price of $0.2693 one month ago. After an attacker launched a flash loan attack on Venus causing THE's price to surge, the address transferred all THE tokens to a certain CEX. If sold, it would realize a profit of $729,000.

BNB Chain lending protocol Venus Protocol allegedly suffered a flash loan attack, resulting in massive liquidation of token THE. The attacker has obtained approximately $3.6 million in assets, with liquidation still ongoing. Currently, there are approximately 42 million THE tokens awaiting liquidation.