⚽ 預測世界盃，瓜分 $40,000！Gate 懂王集結令！
2026世界盃燃爆今夏，來 Gate 廣場當預言家，豪華獎池等您來戰！
💥 輕鬆兩步參與：
1️⃣ 帶 #广场预测世界杯赢40000U 發帖，或分享官方活動至廣場發帖
👉️ https://www.gate.com/competition/football-2026
2️⃣ 發帖內容可圍繞賽事結果預測、賽事勝率分析、交易策略/截圖分享等。
💰 三重大獎等您拿：
1️⃣ 日獎：每天評選 10 位“單日預測王”瓜分 $500！
2️⃣ 周獎：每周狂抽 50 名幸運分享錦鯉瓜分 $1,000！
3️⃣ 榜單獎：衝進周/月度排行榜，斬獲 Gate 世界盃限量球衣禮盒、預測市場體驗券！
詳情：https://www.gate.com/announcements/article/51597
#特朗普支持CFTC管辖预测市场 Vitalik Buterin發文分享其自主大語言模型（LLM）設定的最新進展，並指出以太坊基礎設施與AI的交集正不斷擴大。他提到Deepseek V4已發布，其2-bit量化版本可在90GB記憶體內運行，在蘋果硬體上速度約35 token/秒，但在AMD上僅約7 token/秒，強調真正支持多硬體廠商是區分“去中心化AI”與“CROPS AI”的關鍵。此外，Mistral推出的Leanstral模型(專注Lean程式碼撰寫)在70GB內可運行，性能媲美1T參數大模型。
Vitalik還詳細闡述了正式驗證在提升程式碼安全性中的作用，認為AI輔助的正式驗證可實現程式碼的“端到端”安全證明，適用於STARK、共識演算法、EVM等核心元件。他指出，區塊鏈與ZK-SNARK提供開放可驗證性和隱私可擴展性，而AI與正式驗證的結合能在提升程式碼撰寫效率的同時重建準確性，形成互補技術棧。Vitalik呼籲以太坊生態系應針對以太坊相關用例進行模型微調，並推動跨多個硬體平台的高效支援。