AI与密码学2：AI在OpenVM的ZkVM中的发现
AI审计工具zkao在OpenVM的ZkVM库中发现了一个关键漏洞，允许恶意证明者伪造任何配对等式，从而破坏Groth16、PLONK KZG和BLS签名等核心密码协议的安全性。这是一个经过人类确认的可利用漏洞。
标签： 大模型
搭载全球首个智能体原生操作系统 Step AOS，STEPX Neo 亮相 2026 WAIC
STEPX 在 2026 年 WAIC 发布了首款大模型原生智能体手机 STEPX Neo，搭载自研的智能体原生操作系统 Step AOS，并与携程、支付宝等生态伙伴打通，实现了从差旅到本地生活服务的全场景自动化操作。
AI从“能对话”走向“能办事”，蚂蚁集团WAIC展示三层布局
在7月17日上海开幕的WAIC 2026上，蚂蚁集团首次系统公开了其在智能体商业时代的三层AI布局——应用层推出健康AI“阿福”和AI版支付宝“阿宝”，生态层打通AI支付、开放平台与商家Agent，技术层由百灵大模型、灵波具身智能和OceanBase数据底座支撑。这标志着AI正从“能对话”向“能服务、能交易…
Patreon不再请求AI机器人不要抓取——转而开始阻止它们
创作者订阅平台Patreon宣布升级防御措施，不再依赖robots.txt文件“请求”AI爬虫停止抓取内容，而是与Cloudflare合作，直接主动阻止用于训练的AI机器人访问。这标志着内容平台从“劝退”转向“硬封锁”AI爬虫的策略升级。
美团LongCat发布LoHoSearch：更难搜索智能体基准
美团LongCat团队推出LoHoSearch基准，通过从700万实体知识图谱自动生成问题，让搜索智能体的评测难度大幅提升，当前最强模型得分仅34.74%，与已趋饱和的BrowseComp形成鲜明对比。
WAIC 2026 | 混元Hy3大模型首秀，腾讯上线AI技能支付体系
在2026世界人工智能大会上，腾讯发布了已上线一周即登顶OpenRouter全球调用量第一的混元Hy3大模型，并推出打通Agent内技能调用与支付的SkillPay体系。这意味着AI应用正从“聊天助手”进化到“能完成任务并直接收款”的智能体生态。
飞行员和航空公司正用AI工具更精准地控制安全带指示灯亮起时机
飞行员和多家航空公司正在使用AI驱动的颠簸预测工具（如SkyPath），通过实时数据分析提前预判湍流，从而更精准地决定何时开启或关闭安全带指示灯。这标志着AI在航空安全与运营领域从“辅助显示”走向“主动决策支持”。
Kimmel客串主持Ike Barinholtz回应特朗普提词器丑闻
白宫一名提词器操作员被指控利用职务之便，在预测市场平台Kalshi上押注特朗普演讲内容，获利近10万美元。这一事件由《吉米·坎摩尔直播秀》客串主持人Ike Barinholtz在节目中调侃，引发了公众对内部信息与AI预测工具结合的监管与伦理讨论。
DeepMind的Hassabis称，拥有STEM学位能让你在AI方面强10倍。
Google DeepMind CEO Demis Hassabis 在一场商业会议上明确表示，尽管AI正在重塑技术职业，但STEM（科学、技术、工程、数学）学位和计算机科学基础知识的价值不会被削弱。他认为，掌握底层技术的人使用AI工具的效率，是没有技术背景的人的10倍。
重庆上线“渝小健”AI就医智能体，覆盖233家公立医院
重庆市卫健委联合蚂蚁集团正式上线“渝小健”AI就医智能体，已接入233家公立医院，提供AI导诊、报告解读、云陪诊等服务，成为国内少有的市级统一AI医疗服务平台。