豆瓣输入法在 macOS 上发布，配备 AI 语音与双语输入

Okratech 和 Delphi AI 于 5 月 11 日将预测式 AI 集成到 $ORT Ecosystem 生态系统中

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

Telegram 创办人：Acton 取代零散工具栈，TON 智能合约开发速度提升 10 倍

根据 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

MoonPay 收购 Dawn Labs，并推出用于预测市场交易的 AI 代理工具

据 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 架商用无人机。然而该行动遇到挫折：国防部近期在因性能问题（包括