Bitget UEX 日报｜特朗普称战争将很快结束；30年美债收益率创07年来新高；谷歌I/O发布AI新品 英伟达财报今夜来袭 (2026年05月20日)
Bitget UEX 日报
特朗普美债收益率AI新品美联储油价通胀
模型动态
Vitalik：以太坊下一阶段的关键是什么？
形式化验证在以太坊和计算领域中迅速流行，通过使用底层语言和数学证明来验证代码的正确性。尽管形式化验证有助于提高代码安全性，尤其是在密码学和安全相关任务中，但它并非万能，仍需结合其他技术来确保全面安全。形式化验证与人工智能结合，可以加速软件开发，提升代码效率和安全性。
形式化验证以太坊密码学
数据：与 a16z 关联的巨鲸新建钱包购入 206,325 枚 HYPE 并质押
ChainCatcher 消息，据 Lookonchain 监测，与 a16z 关联的巨鲸 (0x4c6...828) 新建钱包，过去 10 小时内购入 206,325 枚 HYPE，价值 995 万美元，并已进行质押。自 4 月 14 日以来，该巨鲸累计购入 234 万枚 HYPE，总价值 1.02 亿美元。
LookonchainHYPE质押
AI 专利平台 Stilta 完成 1050 万美元种子轮融资，a16z 领投
ChainCatcher 消息，AI 专利初创公司 Stilta 宣布完成 1050 万美元种子轮融资，本轮由 Andreessen Horowitz 领投，Y Combinator 以及来自 OpenAI、Legora、Sana、Lovable、Listen Labs 等公司的个人投资者参投。 新融资将主要用于招聘工程师、专利专家及市场团队，公司计划未来 3 至 6 个月将团队规模扩张至约 10 人，并计划于今年底或 2027 年初在纽约设立办公室。 Stilta 主打 AI Agent 驱动的专利管理软件，主要面向专利侵权识别、专利授权机会挖掘以及专利诉讼防御等场景。其平台可分析数亿份专利、科研论文及历史网页数据，帮助企业与律所管理专利资产。 公司由前麦肯锡成员 Oskar Block、Petrus Werner、Tobias Estreen 与 Oscar Adamsson 于今年创立，并入选 YC 2026 冬季孵化项目。目前客户约三分之二来自企业端，其余则来自律所。 据介绍，Stilta 正在开发数百个 AI Agents，用于执行侵权分析、专利无效分析等不同任务，并针对制药等高度专业领域进行定制化调整。近年来，a16z 与 YC 持续加码法律科技赛道。此前，a16z 已多轮投资 AI 法律助手 Harvey；YC 近期也投资了 Legora、PointOne、Parlai 等法律 AI 公司。
Stilta种子轮融资a16z
数据：Anchorage 关联地址再从 Bybit 提取 12.1 万枚 HYPE，价值约 587 万美元
ChainCatcher 消息，据 OnchainLens 监测，Anchorage 关联钱包地址再次从 Bybit 提取 121,099 枚 HYPE，价值约 587 万美元。过去一个月内，该地址累计购入并提取 234 万枚 HYPE，总价值约 1.12 亿美元，目前已全部用于质押。
OnchainLensAnchorageHYPE
美国政府将 FTX 没收资产中的 319 枚 ETH 和 93 万美元稳定币转入 Coinbase
ChainCatcher 消息，据 Onchain Lens 监测，美国政府将 FTX Alameda 没收资金中的 319 枚 ETH（约 67.3 万美元）以及 93.3774 万美元的 USDT、DAI 和 USDC 发送至 Coinbase。
Onchain LensETHCoinbase
Agents 资本市场：自主代理将如何获得融资？
未来十年，自主代理将拥有专属资本市场，具备评级、承销等功能。代理作为软件实体，能签署合同、持有账户并盈利。其低成本和高效益将吸引资本流入，形成新型市场。法律框架已准备就绪，资本市场将填补金融工具空白，推动代理经济发展。
代理资本市场AgentFiAI
从子网竞争到网络效应：Bittensor（TAO）会成为 AI 的 BTC吗？
### 摘要 Bittensor致力于构建一个去中心化的机器学习网络，通过代币激励将算力、模型与数据贡献者整合为“点对点智能市场”，以解决传统AI领域中算力与数据高度集中、创新受限的问题。其核心机制包括子网（Subnets）架构、Yuma