📢 Gate 广场认证创作者招募中，入驻瓜分每月 $20,000 创作大奖！
📌 参与方式
站内创作者： 成功申请“创作者认证徽章”即可自动参与。
新入驻创作者： 需填写入驻表单申请 👉️ https://www.gate.com/questionnaire/7698
🎁 创作者福利
1️⃣ 首帖见面礼： 新入驻/回归创作者发首帖，即得 $50U 奖励！
2️⃣ 周度发帖奖： 完成周发帖任务，轻松瓜分 $10,000 奖池！
3️⃣ 月度创作奖： 赛道更多样，完成月度任务瓜分 $1,600 GT 奖池！
4️⃣ 专属推广任务：进入专属创作者社群，享专属推广任务和节日礼包！
让您的优质内容被更多人看到，携手共建高质量创作者社区！
活动细节：https://www.gate.com/announcements/article/51536
#特朗普支持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呼吁以太坊生态应针对以太坊相关用例进行模型微调，并推动跨多个硬件平台的高效支持。