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.

Gate News 消息，3 月 21 日，智谱 Z.ai 全球負責人李子玄在 X 平台發文表示：「Don't panic. GLM-5.1 will be open source.」（別慌，GLM-5.1 將會開源。）目前尚未透露該模型的發佈時間及具體細節。

March 19 Bitcoin price declined while open interest (OI) rose, indicating shorts adding positions, with price touching near $68,750. The current rebound lacks new long accumulation, appearing more like range-bound consolidation. Monitor price and OI changes closely.

Gate News reported that on March 20, WLFI announced the launch of AgentPay SDK, an open-source payment toolkit for AI agents. The SDK is built on USD1, integrating self-hosted key management features and policy-based transaction authorization mechanisms, and is compatible with common AI development tools such as Claude Code, Codex, Cursor, and OpenClaw.

Decentralized social network Bluesky announced the completion of a $100 million Series B funding round led by Bain Capital Crypto, with participation from existing investors. CEO Jay Graber stepped down to become Chief Innovation Officer. Bluesky aims to transform social media from centralized to open distributed networks.

Gate News reported that on March 19, X platform (formerly Twitter) plans to release a major update to its AI recommendation algorithm next week and will simultaneously open-source the algorithm. This move aims to enhance algorithm transparency and promote community collaboration to improve the algorithm's performance and reliability.

Gate News 消息，3 月 19 日，馬斯克近日在社交媒體發文表示，xAI 推薦算法將於下週推出重大更新，同時將開源。

Before Bitcoin quarterly options expiration, the $20,000 put option strike became the third most popular open interest, reflecting traders' expectations for extreme downside scenarios. Despite elevated market panic sentiment, call options remain slightly more than put options, with overall sentiment leaning bullish.

近期Perp DEX各平台交易量回升，Hyperliquid交易量增幅达25.9%，持仓量突破70亿美元，超越十大Perp DEX总和。EdgeX、Aster、Lighter等平台也显示出不同程度的交易量增长。

ZCash (ZEC) 近日上涨15%至266美元，市值達到45億美元，得益於山寨幣市場回暖和Zcash Open Development Lab獲2500萬美元融資。ZEC交易量增73%，顯示交易者參與度提升。加密市場總清算量達5億美元。