Gate News message. According to Gate’s official announcement, Gate contract stock section will be launched on April 13, 2026 at 14:00 (UTC+8) with live trading of TENCENT (Tencent Holdings 00700.HK), XIAOMI (Xiaomi Group 01810.HK), MEITUAN (Meituan 03690.HK), KUAISHOU (Kuaishou 01024.HK), and HKEX (Hong Kong Exchanges and Clearing 00388.HK) perpetual contracts. The trading will use USDT settlement and support 1–20x long and short operations. Among them, the TENCENT contract is based on Tencent Holdings, the XIAOMI contract is based on Xiaomi Group, the MEITUAN contract is based on Meituan, the KUAISHOU contract is based on Kuaishou, and the HKEX contract is based on Hong Kong Exchanges and Clearing; the price of each contract is denominated in USDT.

Gate News update. On April 2, most Hong Kong stock OpenClaw concept shares (AI open-source model-related concepts) fell. Zhipu (02513.HK) fell more than 15%, MINIMAX-W (00100.HK) fell more than 9%, Kingsoft Cloud (03896.HK) and Xiaomi Group (01810.HK) fell more than 3%, Alibaba (09988.HK) and Meituan (03690.HK) fell more than 2%.

Meituan CEO Wang Xing emphasizes an aggressive approach in AI business, viewing AI as a strategic opportunity. Meituan is among the leading domestic companies in AI investment, dedicated to developing its own model LongCat and collaborating with top large models to enhance understanding and execution of user needs, striving to make the Meituan app the preferred platform for local life services.

Meituan's Longcat team open-sourced LongCat-Next, a multimodal model based on MoE architecture that integrates five capabilities: text, visual understanding, image generation, and speech. Its core design, DiNA, achieves unified task processing through discrete tokens, while the dNaViT architecture in the visual domain enables excellent image generation performance. Compared to 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 21st, a 560 billion parameter MoE model focused on Lean4 formal theorem proving. The model comprises three capabilities: automatic formalization, sketch generation, and complete proof generation, combined with reasoning tools and the Lean4 compiler to achieve real-time verification. Training utilizes the Hybrid-Experts Iteration Framework and HisPO algorithm to prevent reward hacking. Benchmark results show that the model sets new records for open-source weight models in automatic formalization and theorem proving.

Gate News reports that on March 16, Hong Kong stocks opened with gains in the OpenClaw sector. Zhipu (02513.HK) rose 2.83%, MINIMAX-WP (00100.HK) rose 1.78%, with JD.com, Tencent, Meituan and others following suit with gains.