Gate News 消息，據Gate官方公告，Gate合約股票專區將於2026年4月13日14:00 (UTC+8)首發上線TENCENT（騰訊控股00700.HK）、XIAOMI（小米集團01810.HK）、MEITUAN（美團03690.HK）、KUAISHOU（快手01024.HK）、HKEX（香港交易所00388.HK）永續合約實盤交易，採用USDT結算，支援1-20倍做多和做空操作。 其中，TENCENT合約以騰訊控股為標的，XIAOMI合約以小米集團為標的，MEITUAN合約以美團為標的，KUAISHOU合約以快手為標的，HKEX合約以香港交易所為標的，各合約價格均以USDT計價。

Meituan Longcat Team's open-source LongCat-Next is a multimodal model based on MoE architecture, integrating five capabilities including text, visual understanding, image generation, and speech. Its core design DiNA achieves unified task processing through discrete tokens, while the dNaViT used in the visual aspect enables excellent image generation performance. Compared with similar models, LongCat-Next demonstrates leading benchmark performance across various metrics, showcasing its advantages in multimodal understanding and generation.

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.