AI 交易工具与量化分析应用

据 PANews 称，5 月 14 日，Spiral 作为 Block 下属的开源比特币开发部门推出了 Loupe，这是一款面向开源比特币项目的免费 AI 驱动漏洞扫描器。该工具支持持续的安全扫描，旨在帮助中小型开发团队提升其安全审计能力。

根据 Beating，LangChain 在其中断会议（Interrupt）上宣布了两项重大升级：SmithDB，这是一种构建在对象存储之上的新型数据库，以及 LangSmith Engine，一款自动化的调试工具。SmithDB 通过替换传统的本地磁盘架构，将查询性能提升最高 15 倍。 LangSmith Engine 通过持续监控生产环境来自动化修复漏洞的过程，自动对失败调用进行分类，识别存在问题的代码，并直接为开发者生成带有对应测试用例（evals）的拉取请求。

根据 Ads3 于 5 月 13 日发布的官方公告，Funton.AI 与 Ads3 达成战略合作，将 Ads3 的 AI 驱动广告基础设施集成到 Funton.AI 的 Web3 游戏平台中。此次合作旨在提升覆盖 Telegram 与 LINE、并基于 TON 公链运行的游戏生态的用户获取能力与可见度。 此次集成将使 Funton.AI 能够利用 Ads3 的数据驱动广告技术，更高效地触达 Web2 与 Web3 受众。Funton.AI 是一个模块化的多游戏平台，为面向 Web3 的项目提供休闲移动游戏以及链游即服务（GameFi-as-a-Service）解决方案。

根据 InitVerse 于 2026 年 5 月 13 日发布的官方公告，InitVerse 和 UXLINK 宣布建立战略合作伙伴关系，以加速去中心化应用开发，并在 Web3 领域扩展社交入门。此次合作将 InitVerse 的 AI 驱动开发框架与 UXLINK 的社交基础设施相结合，包含 AI 自动化工具、可自我审计的智能合约，以及无需代码的 dApp 创建能力。UXLINK 被定位为最大的 Web3 社交平台之一，目前服务超过 5,500 万注册用户；当与 InitVerse 的基础设施技术整合时，将为更广泛的公链采用奠定基础。

据腾讯在 5 月 13 日的公告，腾讯“腾讯元宝”上线了一项新功能，允许用户对微信聊天记录进行摘要。用户可以在微信中选择聊天记录，点击“转发到其他应用”，并从列表中选择元宝，将内容直接复制到应用的聊天界面中，AI 会提供智能摘要和分析。

据 XYO 称，公司于 5 月 12 日推出了一款 AI 软件开发工具包，旨在通过自然语言提示简化在 XYO 第 1 层上创建区块链应用。该 AI SDK 使开发者能够借助 Codex 和 Claude 等 AI 编程助手构建去中心化应用，而无需具备 Solidity 知识或深入的区块链专业经验。该总部位于圣迭戈的平台目前在其去中心化基础设施网络中支持超过 1000 万个节点，该平台表示，该工具包的目标是消除长期以来将区块链开发限制在专门工程团队范围内的技术门槛。

据 Beating（据 Beating）称，微信已与腾讯的 AI 助手“元宝”集成，以实现跨应用消息转发。用户现在可以选择聊天记录，将其转发给元宝，并获得对冗长群聊或私聊的即时摘要。该功能还支持将支出数据提取为表格、根据讨论串生成旅行行程，并提供聊天建议。用户必须将微信和元宝都升级到最新版本，才能使用该功能。

据比特小鹿（Bitdeer）集团董事长吴忌寒于 5 月 12 日在 X 公开声明，吴忌寒表示：“GPU 部署的下一个目标是 1 万台，然后是 10 万台，再然后是 100 万台。”比特小鹿同日发布 4 月未审计生产运营更新，AI 云业务年度经常性收入（ARR）环比增长 60% 至 6,900 万美元。 AI 云业务：ARR 环比增长 60% 达 6,900 万美元 （来源：比特小鹿） 根据 Bitdeer 4 月运营更新，AI 云主要指标如下： 已部署 GPU 数量：4,184 台（3 月为 2,128 台） GPU 类型：H100、H200、B200、GB200 GPU 利用率：92%（3 月为 94%） 外部订阅 GPU 数量：3,323 台（3 月为 1,948 台） 年度经常性收入（ARR）：约 6,900 万美元（3 月约 4,300 万美元，环比增长 60%） 根据 Bitdeer 公告，公司已获 SemiAnalysis GPU Cloud ClusterMAX™ 铜级评级，测试涵盖马来西亚站点的 NVIDIA GB200 NVL72 节点；近期部署包括 4 月底向马来西

据 CEO Jan Oberhauser 称，德国 SAP 通过二级股份出售投资了总部位于柏林的工作流自动化初创公司 n8n，并对该公司估值为 52 亿美元。SAP 还签署了一项多年期协议，将 n8n 工具整合进其 Joule Studio AI 构建器，以拓展其 AI 产品业务。n8n 成立于 2019 年，提供软件，使企业能够以最少的编程自动化任务，并使用来自 OpenAI、Anthropic 和 Google 的模型构建 AI 代理。该公司在 10 月时的估值为 25 亿美元，如今其年经常性收入已超过 1.18 亿美元。

根据 The Graph 在 5 月 12 日的官方公告，Graph Gateway 现在支持 x402 Payments，使开发者和 AI Agents 能够通过以 USDC 按请求付费的方式访问链上数据，而无需 API keys、账户或仪表盘。用户会先收到包含价格信息的 HTTP 402 响应，然后在 Base 网络上以 USDC 完成基于签名的付款，以便在后续请求中检索数据。该更新包括新的 /api/x402/ 端点、更新后的支付 SDK、对兼容 x402 的工具的支持，并同时在 Base 主网和 Base Sepolia 测试网提供服务，同时现有的 API Key 身份验证方法保持不变。

4 月 13 日 abmedia 曾报導 Forrest Chang 把 Karpathy 1 月 Claude 寫程式抱怨整理成「4 條 CLAUDE.md 規則」、当时 GitHub 上累積 15,000 星；5 月 12 日該 repo 星數已突破 126,000、不到 1 个月成长 8 倍。社群随之出现許多「擴充版」嘗試、其中工程師 Mnilax（@Mnimiy）5 月 9 日发表的「在 4 條基礎上加 8 條、變成 12 條完整版」貼文獲得 5,968 次按讚、是近期 Claude Code 社群討論度最高的單篇內容之一。 4 條規則的回顾：Forrest Chang 把 Karpathy 抱怨變成可執行模板 Forrest Chang 原始 4 條規則（每條都对应 Karpathy 1 月在 X 上点名的失敗模式）： Think Before Coding（先想再寫）：不要做隐性假设、要明说在假设什麼；面对 trade-off 攤开来討論；不確定时直接问、不要猜；存在更簡單做法时要反对複雜方案 Simplicity First（先求簡單）：寫能解決问題的最小程式碼；不寫推測

据 Beating，字节跳动的豆瓣输入法已正式上线其 macOS 版本。此前仅在 iOS 和 Android 上可用，该桌面应用集成了豆瓣自研语音模型，支持方言识别、语调输入，以及中英混合转写，并对口头冗余内容进行自动过滤。macOS 版本还提供长文本纠错，以及面向键盘输入的、基于上下文的智能建议。

据 Foresight News 报道，由 AI 驱动的金融操作系统 Infini 已加入 Circle 联盟计划。该计划汇聚金融科技公司、传统金融机构、消费应用、支付服务商、银行以及使用 Circle 稳定币和 Web3 服务的 Web3 协议。该项目旨在推动互联网金融体系发展，扩大 USDC 的采用，并提升跨境支付和数字金融服务。

根据 5 月 11 日的一份官方公告，Okratech 和 Delphi AI 已合作，将基于 AI 的预测型市场情报集成到 Okratech 生态系统中。Delphi AI 的预测系统将嵌入到 $ORT 平台，覆盖加密货币、股票和全球经济政策。此次集成将应用于 OrtJob（Okratech 的去中心化自由职业市场）以及 Web3 应用商店，为用户提供基于数据驱动的洞察，以支持其金融和职业决策。

根据 Telegram 创办人 Pavel Durov 于 5 月 12 日在 X 公告，TON Core 已推出名为 Acton 的统一智能合约工具链，该工具已于 5 月 8 日上线；Durov 表示，Acton 使 TON 智能合约开发速度提升 10 倍，以统一开发流程取代 TON 此前零散的工具栈，并支持 AI。 Acton 工具链核心功能与技术架构 根据 Durov 在 X 平台的公告，Acton 是以 Tolk 语言为核心构建的一体化命令行工具（CLI），涵盖从项目创建、测试、调试、dApp 整合、部署到验证的完整开发流程。Durov 在公告中表示：“新工具链让智能合约的创建、测试和部署变得轻松方便。更重要的是，它完全支持 AI，用统一的开发流程取代了 TON 原有的分散工具栈。” 根据公开资料，Acton 上线时预先安装了旨在快速部署 TON 原生代币标准 Jetton 的範本；开发者可使用基础测试代币 \$JET（功能类似 BNB Chain 上的 TST），在正式上线前测试合约铸造、转移及元数据管理功能。根据 Acton 工具的设计说明，开发者选择範本并自定义后，Act

据 The Block 称，MoonPay 已收购 Dawn Labs，并推出 Dawn CLI，这是一款由 AI 驱动的工具，旨在帮助非技术用户打造预测市场交易策略。用户可以用纯英文描述交易策略，而系统会自动完成研究、代码生成、仿真以及实时执行。近年来，Polymarket 和 Kalshi 等平台上的预测市场交易活动激增，二者合计的终身交易量在 4 月突破 1500 亿亿美元。

据 Bloomberg 报道，韩国国防部正在与现代汽车洽谈部署机器人，担任前线支援岗位，随着首尔转向基于 AI 的无人系统，以应对兵力短缺和朝鲜的军事威胁。 拟考虑的机器人系统 据该报道，国防部正在权衡多种用于监视、侦察和后勤岗位的机器人平台。被评估的系统包括 Boston Dynamics Spot、现代的 MobED 机甲，以及 X-ble 肩部外骨骼。国防部表示，相关洽谈细节尚未最终确定。 对军事实力的人口压力 据消息人士称，受创纪录的低出生率影响，韩国现役部队规模在六年内下降了 20%，至 45 万名人员。国防部预计该数字将于 2040 年进一步降至 35 万名，从而为转向无人系统提供了结构性推动因素。 更广泛的无人系统战略 现代方面的讨论符合首尔减少对重兵力量依赖的更大转向。据该报道，韩国国防采购计划管理局已为多用途无人地面车辆（UGVs）开出 496 亿韩元（3656 万美元）的招标，其中现代 Rotem 和韩华航空航天在领域内处于领先地位。 政府还计划在其“50 万无人机战士”项目下为训练采购约 11,000 架商用无人机。然而该行动遇到挫折：国防部近期在因性能问题（包括

据 The Block 称，MoonPay 本月收购了 Dawn Labs，并推出了 Dawn CLI，这是一款由 AI 驱动的工具，旨在帮助非技术用户创建预测市场交易策略。该工具允许用户用纯英文描述交易策略，而系统会自动完成用户研究、代码生成、仿真以及实时执行。创始人 Neeraj Prasad 表示，Dawn Labs 一直在构建系统，使 AI 代理能够对市场进行推理、访问金融通道、协调资金，并执行由用户指引的操作。

Beating称，阿里云今天推出其团队代币计划，为 10+ 大型语言模型提供订阅，包括 Qwen 3.6、Kimi-K2.6、GLM-5.1 和 Wan 2.7。用户可以为代码生成、图像合成和其他任务在模型之间灵活切换。 团队版本通过企业管理功能区别于个人计划。管理员可以管理座位分配、跟踪使用情况，并在三个层级中设置预算控制：Standard、Premium 和 Elite。该平台包含多租户隔离以及企业级数据隐私保护，并与主要 AI 工具兼容，包括 Claude Code 和 Cursor。