AI与密码学2:AI在OpenVM的ZkVM中的发现

ZKSecurity 团队发布研究,展示 AI 工具自动发现 OpenVM 零知识虚拟机(ZkVM)实现中的安全漏洞。这表明 AI 正在从辅助编码进化为主动发现密码学基础设施中的深层缺陷,对区块链与隐私计算的技术信任模型构成直接影响。

ZKSecurity 团队发布研究,展示 AI 工具自动发现 OpenVM 零知识虚拟机(ZkVM)实现中的安全漏洞。这表明 AI 正在从辅助编码进化为主动发现密码学基础设施中的深层缺陷,对区块链与隐私计算的技术信任模型构成直接影响。

STEPX 在 2026 年 WAIC 发布了首款大模型原生智能体手机 STEPX Neo,搭载自研的智能体原生操作系统 Step AOS,并与携程、支付宝等生态伙伴打通,实现了从差旅到本地生活服务的全场景自动化操作。

在7月17日上海开幕的WAIC 2026上,蚂蚁集团首次系统公开了其在智能体商业时代的三层AI布局——应用层推出健康AI“阿福”和AI版支付宝“阿宝”,生态层打通AI支付、开放平台与商家Agent,技术层由百灵大模型、灵波具身智能和OceanBase数据底座支撑。这标志着AI正从“能对话”向“能服务、能交易…

创作者订阅平台Patreon宣布升级防御措施,不再依赖robots.txt文件“请求”AI爬虫停止抓取内容,而是与Cloudflare合作,直接主动阻止用于训练的AI机器人访问。这标志着内容平台从“劝退”转向“硬封锁”AI爬虫的策略升级。

用户在 Gradio Blocks 中使用 Audio 组件,并为其绑定了 change 事件回调函数(例如根据音频输入是否为空来控制按钮的交互状态)。当加载某些音频文件时,波形图不渲染,音频也无法播放;移除 change 事件绑定后问题消失。

用户在 Gradio Blocks 应用中大量实例化 gr.Audio 组件(10+),或通过链式事件监听器( .then() / .success() )更新音频输出时,Audio 组件加载新音频变慢或完全失败。复现条件包括:

美团LongCat团队推出LoHoSearch基准,通过从700万实体知识图谱自动生成问题,让搜索智能体的评测难度大幅提升,当前最强模型得分仅34.74%,与已趋饱和的BrowseComp形成鲜明对比。

Anthropic 为宣传其 Claude 大模型及“Hard Questions”项目发布了一则广告短片,因风格严肃、画面中包含了燃烧建筑等混杂元素,被大量网友批评为“反乌托邦营销垃圾”。OpenAI CEO Sam Altman 公开讽刺称“以为是讽刺视频”,凸显了两家头部 AI 公司在品牌叙事路径上的显…

旧金山市检察官向苹果和谷歌发出法律通知,要求其下架13款用于制作深度伪造裸照的AI应用;谷歌已表示删除了相关应用。此举标志着地方监管机构首次直接针对应用商店在AI深度伪造内容传播中的平台责任采取行动。

Forrester研究报告指出,超过八成企业技术决策者预计2027年IT预算将增长,但主要推手并非主动投入,而是AI软件从“按人头付费”转向“按用量计费”,导致支出更加不可控。