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.

Gate News 消息，3 月 8 日，Openclaw 近日發布 3.7 測試版，主要更新為新增支持大語言模型 GPT 5.4 和 Gemini Flash 3.1。

OpenClaw創始人彼得·斯坦伯格分享了PinchBench的基準測試結果，顯示Gemini 3 Flash在代理任務中以95.1%的成功率名列第一，國產模型minimax-m2.1和kimi-k2.5分列第二和第三，成功率為93.6%和93.4%。其它模型如Claude Sonnet 4.5和GPT-4o表現較低。

3月6日，Gate News報導，AI公司階躍星辰的Step 3.5 Flash在開源AI助理框架OpenClaw中連續三天稱霸單日調用量，3月5日達613億token。中國模型在前五名中佔三席。