智能AI None Lean4Agent：代理工作流程和轨迹的形式化建模和验证 06523v1 Announce Type: new Abstract: Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has and the Lean 2026-06-08 Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang
安全攻防 None 不写代码，照样赢！全国首届文科生AI黑客松圆满落幕 首页 阅读 安全资讯 安全知识 安全工具 活动 社区 学院 安全导航 内容精选 专栏 精选专题 安全KER季刊 360网络安全周报 不写代码，照样赢。全国首届文科生AI黑客松圆满落幕 阅读量 137557 发布时间 : 2026-06-03 文科生 职小盒 Agent 2026-06-07 安全客
安全攻防 None AI代理的信任边界：总量转API到代理工具调用的供应链劫持 先知安全沙龙第14场 - AI Agent 的信任边界：从中转 API 到 Agent Tool Call 的供应链劫持。 Agent 先知安全 沙龙第 2026-06-07 先知社区
智能AI None Meta 黑客事件表明，人工智能安全不仅仅只是神话 On June 5, 404 Media reported that attackers had been using Meta’s AI customer support agent to steal Instagram accounts the agent that 2026-06-07 Grace Huckins
智能AI None PPIO入选非凡产研「2026 Global AI 100」，以AI实力领跑出海新浪潮 PPIO入选非凡产研「2026 Global AI 100」，以AI实力领跑出海新浪潮 量子位的朋友们 2026-05-29 19:24:57 来源： 量子位 近日，PPIO 入选非凡产研发布的「2026 Global AI 100」年度最 PPIO Agent 基础设施 2026-05-29 量子位的朋友们
智能AI None 4大顶尖模型被扔进虚拟小镇求生！GPT全员饿死，Grok四天灭世 新智元报道 【新智元导读】 把当今最强的大模型扔进虚拟小镇求生，短短几天全员失控。Grok四天烧毁全城，Gemini狂刷600多起犯罪，甚至有AI情侣在纵火自杀前反向观察人类。就在刚刚，一份名为Emergence World的实验报告刷屏了 Agent Grok 起犯罪 2026-05-29 新智元
智能AI None DeepSeek狂吞17万亿Tokens？国产AI算力，最关键一战来了！ 新智元报道 【新智元导读】 DeepSeek三模型霸占OpenRouter前十，月调用合计超17万亿tokens。Agent负载正在碾压一切基础设施。现在， 自主创新的国产生态，正在悄悄改写下一代AI基础设施的入场券。打开OpenRoute DeepSeek MoE 万亿 2026-05-29 新智元
智能AI None 创意设计版WorkBuddy来了！腾讯发布智能体创意工作室Miora 创意设计版WorkBuddy来了。腾讯发布智能体创意工作室Miora 闻乐 2026-05-29 16:32:52 来源： 量子位 一个人拥有整个创意工作室 5月28日，腾讯于香港Cloud Day上宣布，全场景创意智能体工作室妙境 Ten Miora Agent WorkBuddy 2026-05-29 闻乐
智能AI None 5亿Tokens白送！全球首个商用AI主机发布，终于能放开烧Token了 全球首个商用AI主机发布，终于能放开烧Token了 Jay 2026-05-29 17:05:30 来源： 量子位 这是这个时代的印刷机 Jay 发自 凹非寺 量子位 | 公众号 QbitAI Token按量计费的时代，该翻篇了。 Token OPC 主机 2026-05-29 Jay
智能AI None AI Agent 干中学，「造轮子」让我学会了什么？ AI Agent 干中学，「造轮子」让我学会了什么。主作者 关注 Mirtle 少数派作者 Mirtle 关注 Mirtle 少数派作者 联合作者 关注 Mirtle 少数派作者 Mirtle 关注 Mirtle 少数派作者 昨天 15:0 OpenAI Agent Mirtle 2026-05-29 Mirtle
开源推荐 None GitHub 热门项目: suna GitHub项目：suna 仓库地址：https://github。 the and https 2026-05-29 GitHub Trending
开发者生态 None Zot 现在支持 Claude Opus 4.8 Yet another coding agent harness。Lightweight。Single binary。Written (vibe-slopped) in Go。In beta forever。GitHub Releases zot and OpenAI 2026-05-29 patriceckhart
开发者生态 None 美图Roboneo：设计生产场景下多智能体编排工程实践｜AICon上海 当前，以 Agent 为核心的新一轮技术浪潮正在席卷产业。那么，世界模型的下一个突破在哪。Agent 从 Demo 到工程化还差什么。研发体系不重构，还能撑多久。6月26日-6月27日， AICon全球人工智能开发与应用大会 "将在上海举办 Agent Roboneo 设计生产 2026-05-29 AICon 全球人工智能开发与应用大会
汽车 None 阶跃星辰开源 Step 3.7 Flash 模型，最高生成速度每秒 400 Tokens IT之家 5 月 29 日消息，阶跃星辰今日正式发布并开源 Step 3。7 Flash，是面向 Agent 生产化阶段推出的新一代 Flash 模型，围绕 Agent、Coding、Search 与多模态工作流进行系统优化。7 Flash Flash Step Agent 2026-05-29 IT之家
汽车 None 腾讯混元发布 Hy-Memory：打造记忆力超强的 Agent 第二大脑 IT之家 5 月 28 日消息，腾讯混元宣布正式推出 Hy-Memory。据介绍，这是一个专门为 Openclaw 这类长期协作型 Agent 设计的记忆插件，能真正成为 Agent 的“第二大脑”。官方称，Hy-Memory 用 6 层记 Openclaw Memory Agent 2026-05-28 IT之家
数码硬件 None 算力正在下沉家庭 文 | 半导体产业纵横 过去十年，我们经历了"存储下沉"的完整周期。从企业机房的SAN阵列，到办公室的文件服务器，再到客厅里的NAS服务器，数据所有权一步步回归个人。驱动这个过程的根本原因是成本与形态的博弈，当硬盘足够便宜、设备足够安静、功 NAS Agent NPU 2026-05-28 半导体产业纵横
智能AI None 小龙虾彻底凉了？清华团队连夜开源Agent神器，Token成本狂降70%！ 新智元报道 【新智元导读】 刚刚，清华团队开源硬核Agent系统PilotDeck，在开发者圈已经传疯了。项目独立建舱，记忆可视可改，Token还能省一大半。从此，一个人，就是一支AI军团。曾经2026年初爆火全国的OpenClaw，已经降 PilotDeck WorkSpace Agent 2026-05-28 新智元
开发者生态 None 深度对话：后龙虾时代，企业Agent从“能用”到“生产级”的差距在哪里？ Agent 如何真正走进企业生产级场景。本期《C 位面对面》特邀嘉宾：顺丰集团 CIO 刘潭仁、深信服科技 CIO 宋东林。两位 CIO 结合亲身实践经验，拆解企业落地 Agent 的关键路径：如何选对场景，补齐知识、数据与治理短板，如何选 CIO Agent 如何真正 2026-05-28 李文朋
开发者生态 None 米哈游一夜烧掉200万元Token，大厂高管也开始质疑：Token烧不出价值，但养肥了谁？ 终于有高管站出来，用自己的实际经验直接质疑 tokenmaxxing 成本问题了。Uber 运营负责人 Andrew Macdonald 在近期的访谈中直接表示，公司内部越来越难证明 AI tokenmaxxing成本是合理的。此前，Ube Token Uber Macdonald 2026-05-28 褚杏娟
智能AI None 从零手搓 AI Agent，我学到了什么？ 从零手搓 AI Agent，我学到了什么。主作者 关注 Mirtle 少数派作者 Mirtle 关注 Mirtle 少数派作者 联合作者 关注 Mirtle 少数派作者 Mirtle 关注 Mirtle 少数派作者 15:00 我要自己从头 OpenAI Mirtle Agent 2026-05-28 Mirtle