🔥 WCTC S8 全球交易賽正式開賽！
8,000,000 USDT 超級獎池解鎖開啟
🏆 團隊賽：上半場正式開啟，預報名階段 5,500+ 戰隊現已集結
交易量收益額雙重比拼，解鎖上半場 1,800,000 USDT 獎池
🏆 個人賽：現貨、合約、TradFi、ETF、閃兌、跟單齊上陣
全場交易量比拼，瓜分 2,000,000 USDT 獎池
🏆 王者 PK 賽：零門檻參與，實時匹配享受戰鬥快感
收益率即時 PK，瓜分 1,600,000 USDT 獎池
活動時間：2026 年 4 月 23 日 16:00:00 - 2026 年 5 月 20 日 15:59:59 UTC+8
⬇️ 立即參與：https://www.gate.com/competition/wctc-s8
#WCTCS8
剛剛：Mistral AI 發布 Leanstral，一個具有 6B 參數的開源 AI 代理，用於 Lean 4 形式驗證。如果被採用，它可以降低鏈上形式驗證工作和工具的成本門檻。$AI?