RSS
-
宝玉的分享https://baoyu.io/feed.xml
-
AIHOT 日报https://aihot.virxact.com/feed/daily.xml
-
AIHOT — 全部 AI 动态https://aihot.virxact.com/feed/all.xml
-
AIHOT — 精选https://aihot.virxact.com/feed.xml
持续记忆智能体：遗忘与恢复机制严重缺失
一项对435篇论文的综述将始终在线的AI智能体重构为持久状态系统，其状态包括事实、偏好、权限、凭证、任务账本、触发器、来源和外部承诺。关键问题在于这些状态是否仍保持授权、可追溯、可变、可恢复且安全。在435篇论文中，269篇涉及检索、200篇涉及写入，但仅27篇提供回滚机制，72篇涉及权限管理--领域已构建了写入、组织、检索和行动的前向弧，却严重忽视了遗忘、审计和恢复的返回弧。 🔗...
AMD 与韩国政府合作，将在韩国设立 AI 研究中心
AMD 与韩国政府签署谅解备忘录，将在韩国设立 AI 研究中心，共同打造集成 AMD CPU、GPU 和韩国国产 NPU 的异构 AI 计算基础设施。双方还将以韩国国家科学 AI 研究中心（NAIS）为基地，在 AI 科学研究、扩大 AI 半导体生态圈及培养专业人才等领域展开合作。AMD 将向 NAIS 持续提供高性能计算资源、AI 软件支持及专业技术人才。 🔗 阅读原文 via AI...
特斯拉车主 David Moss 驾驶 Model 3 连续使用 FSD 行驶 2 万英里无人工接管
特斯拉 Model 3 车主 David Moss 驾驶车辆连续使用 FSD 系统行驶突破 2 万英里（约 32187 公里），全程无人工接管。该纪录通过 FSD Database 读取车辆遥测数据验证，精度达 0.1 英里。Moss 此前还完成了从洛杉矶到南卡罗来纳州默特尔比奇、全程 2732 英里无接管的横跨美国东西海岸自动驾驶行程，被特斯拉作为官方用户案例展示。 🔗 阅读原文 via...
谷歌 CEO 皮查伊确认 Gemini 4 已投入训练，预计年底发布
谷歌 CEO 桑达尔·皮查伊在 2026 年第二季度财报电话会议上透露，下一代前沿模型 Gemini 4 正在训练中，投入了非常大的资源。他承认当前 Gemini 在编程、智能体等领域仍存在不足，希望 Gemini 4 发布时能追上前沿水平。据 9To5Google 预测，Gemini 4 有望在今年 11 月或 12 月发布。 🔗 阅读原文 via AI HOT ·...
三星电子有望 8 月发布 LPDDR5X-PIM，内存内集成计算单元
三星电子预计在 2026 年 8 月正式发布内存内处理产品 LPDDR5X-PIM，该产品在 DRAM Die 内部集成计算单元，旨在缩短逻辑与存储距离、化解"内存墙"瓶颈并降低能耗。LPDDR5X-PIM 基于 LPDDR5X，面向边缘和设备端应用，韩国 AI 芯片企业 DeepX 计划将其 2nm 芯片 DX-M2 与之配套。 🔗 阅读原文 via AI HOT ·...
OpenAI 工程师揭秘：Codex 个人操作系统实战
OpenAI DevEx 成员 Jason 展示了如何将 ChatGPT Work 与 Codex 改造成个人操作系统，统一管理邮件、Slack、日历、Linear、值机、购物等任务。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2vjd4d0568ro3fkkq9g12d
世界动作模型综述：从反应到预判
一篇关于世界动作模型（WAM）的综述论文指出，WAM 正推动机器人从"对当前做出反应"转向"在行动前预测后果"。只有预测的未来能直接用于生成、评分、验证或训练动作的模型才算 WAM。趋势是"少做梦，多行动"：完整视频生成对实时控制回路太慢且占用内存，因此许多新系统改用潜在特征、几何、可通行性图或运动表征，而非渲染视频。 🔗 阅读原文 via AI HOT ·...
日立、英特尔、产综研合作，基于 Intel 18A 开发 100+ 量子比特硅基量子芯片
日立、英特尔与产综研三方合作，基于 Intel 18A 制程工艺开发 100+ 量子比特硅基量子芯片，涵盖设计、封装与 PDK。该联盟还将开发 1000 量子比特系统 3D 集成技术及硅基量子计算机云端部署技术，旨在通过兼容标准半导体的量产工艺实现工业级量子计算。 🔗 阅读原文 via AI HOT ·...
腾讯微证券早报接入混元大模型，推出可随时打断的AI播客与记忆助手
腾讯自选股旗下微证券早报正式接入腾讯混元大模型，推出AI语音播客，支持用户收听时随时打断并提问，AI主播能即时解答后接回主线。播客提供简洁/深度两种模式及单人/双人播报形态。同时，微证券AI智能助手接入腾讯混元记忆（Hy-Memory），在记忆评测中综合得分79.6，多跳召回率达90%。 🔗 阅读原文 via AI HOT ·...
Kimi K3 今晚11点开源，2.8万亿参数
月之暗面旗舰模型 Kimi K3 将于北京时间 7 月 27 日 23 时开源，总参数达 2.8 万亿，主要面向长时间编程和 Agent 任务。Hugging Face 页面已开启权重发布倒计时，开发者可自行下载、部署和测试。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2vceit04zaro3fz8se8rve
QQ 宠物全新升级归来，接入腾讯 Hy3 大模型
腾讯今日宣布 QQ 宠物全新升级归来，宠物升级为 3D 毛茸茸形象，并接入腾讯 Hy3 大模型，支持主动回应和多种性格。Hy3 是一个快慢思考融合的 MoE 模型，总参数 295B，激活参数 21B，最大支持 256K 上下文长度，于 7 月 6 日开源。 🔗 阅读原文 via AI HOT ·...
全年1900亿美元资本支出仍不够：消息称微软面临整体算力吃紧
尽管微软将2026自然年资本支出预算调整至1900亿美元，其整体算力需求仍显著超过供应。微软自有算力仅能满足内部第一方业务和前沿AI实验室需求，导致Azure无法获得全部所需资源，云服务增长受抑制。微软正从外部供应商寻求额外算力，已为GitHub加购AWS云服务，曾考虑租用Oracle云基础设施但因安全合规担忧放弃。 🔗 阅读原文 via AI HOT ·...
福瑞泰克全球首发量产 8T8R 4D 成像毫米波雷达 FVR60
福瑞泰克宣布实现行业首家 8T8R 边缘架构 4D 成像毫米波雷达 FVR60 量产落地。该雷达基于英飞凌 8T8R（CTRX8188F+TC457）方案，处理速度与射频性能均提升 30%，最大探测距离 350 米，水平 0.9°、俯仰 1.2° 角分辨率，并深度融合 AI 算法。后续卫星雷达架构产品 FVR60_SO（8T8R）即将量产，单帧最大点云 4096 点。 🔗 阅读原文 via...
Anthropic Opus 5 提示指南：删减而非添加
Anthropic 官方 Opus 5 提示指南：教你删东西，而不是加东西 https://best.xiaohu.ai/article/opus5-prompting-guide/ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2tc82404fqro3f65su54yl
Google 解剖 Gemini 对话：86% 与工作无关
Google 解剖 1465 万条 Gemini 对话：日常对话里，86% 跟工作无关 https://best.xiaohu.ai/article/google-atlas-ai-economy/ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2tc82504frro3fxfsji4x7
OPPO 启动小布 Next 计划，首批支持机型公布
OPPO 今日正式启动小布 Next 计划，旨在探索 AI 下一种形态，核心特性包括全域记忆、全时感知与专家团协作，使 AI 从被动回答转向主动解决复杂问题。首批支持机型涵盖 OPPO Find X9 系列、Find X8 系列及一加 15、一加 13 系列等多款设备。成为共创用户可率先体验这些端侧优先的隐私安全特性。 🔗 阅读原文 via AI HOT ·...
Claude Design 作者自述：使用 Claude Design 的十条最佳实践
Nate Parrott分享了使用Claude Design的十条最佳实践，核心包括先想清楚再写prompt、通过指定字体或moodboard约束设计方向、将重复工作转化为design system作为资产。他还建议要求十个方案后remix重组，用纸笔画出布局上传，并通过指针加语音组合操作。 🔗 阅读原文 via AI HOT ·...
2D-RoPE让模型复制长文本更精准
前沿大语言模型在解决高级推理任务时，仍无法精确复制长重复字符串，且输入越长或重复模式越多，复制越不可靠。研究发现，标准1D RoPE位置编码是部分原因，而2D-RoPE将源文本与输出视为独立行，使对应token对齐在同一列。在合成测试中，仅训练长度1-100的单层模型在长达1000倍的输入上完美复制，该优势在1.4B参数预训练模型上同样出现，但当前设计仍依赖换行符，非通用解决方案。 🔗...
YC Startup School：比尔·盖茨也来当"学生"学AI未来
今年YC Startup School 6000人场，黄仁勋、Sam Altman、Jeff Dean登台讲课，比尔·盖茨未在官方讲者名单，却独自在会场参观，被前SpaceX/AWS工程师偶遇合影。主推文认为，这些大佬并非来布道，而是来向全场最年轻的奥赛金牌、NeurIPS学生创业者学习AI未来。这里聚集着全球密度最高的聪明头脑，接下来十年的AI未来有一半将从这6000人中诞生。 🔗...
卡兹克开源 Leader.skill，用"目标七问"解决 Agent 长程执行跑偏问题
卡兹克开源 Leader.skill，专治 Agent 长程执行中因目标模糊导致的"跑偏"问题。该 Skill 基于"目标七问"方法论，将模糊需求转化为结构化目标任务书，并强调定义目标时"什么不能做"（Harness）比"做什么"更重要，可避免 Agent 沿错误方向浪费大量 token。 🔗 阅读原文 via AI HOT ·...
腾讯 WorkBuddy 鸿蒙版上线「碰一碰」分享，成鸿蒙平台首个桌面办公智能体
腾讯 WorkBuddy 桌面版已上架华为鸿蒙电脑 App Gallery，成为鸿蒙平台首个桌面办公智能体。该全场景 AI 办公智能体依托鸿蒙底层能力，上线了其他主流系统无法实现的「碰一碰」分享功能。此前 WorkBuddy 移动端已于 7 月 18 日同步登陆 iOS、安卓及鸿蒙，支持远程在电脑端发起任务。 🔗 阅读原文 via AI HOT ·...
Codex与Claude Code可即时生成创意游戏Demo
我们已身处这样一个世界：借助Codex和Claude Code的现有能力，你可以按需创建真正独特、视觉有趣且富有创意的可玩Demo。我们不必再反复克隆那六款已有的游戏作为AI示例。大胆尝试更古怪的创意吧！ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2r8oe403w7ro3f4q6lddij
TikZ独角兽预示AI生成3D模型趋势
这一切都源于TikZ独角兽。Sparks论文相当有先见之明。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2r8oe403w8ro3f2d1x2vrk
阿里千问办公官网上线，提供 Windows/macOS 及鸿蒙电脑 Beta 版下载
阿里千问办公官网今日上线，提供 Windows/macOS Beta 版下载，主打企业 IM、Office 文档生成与编辑等六大能力。个人版提供免费版、标准版（78 元/月）和高级版（158 元/月）三档订阅，企业标准版为 198 元/月/席。鸿蒙电脑 Beta 版也已上线 AppGallery，支持 AI 写作、AI 生成 PPT 及实时语音转写。 🔗 阅读原文 via AI HOT ·...
谷歌翻译3%提升催生Transformer论文
Google 的"Attention is All You Need"论文，源于试图在谷歌翻译中提升 3% 的性能。 创新是生产的副产品。"如果你不制造这个东西，你就放弃了在上面创新的机会。" --Palantir 首席技术官 @ssankar 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2r5otg03saro3fogamsw19
徐洁云：上周全球调用量前五均为中国AI大模型，小米MiMo-V2.5升至第一
小米MiMo-V2.5上周全球调用量升至第一，周调用量达10.5万亿Token，环比增长12%。徐洁云表示，上周全球调用量排名前五均为中国AI大模型。MiMo-V2.5系列已于4月23日开启公测，包含V2.5、V2.5-Pro等版本，具备更强推理、更稳Agent、更长上下文及全模态感知能力。 🔗 阅读原文 via AI HOT ·...
Ethan Mollick：科幻未预见的AI现状
我读过很多科幻小说，但没有人真正以我们现在拥有AI的方式预见到它们。 我的意思是，你可以展望到《文明》中的心智或高伦十四世等，但当前及近期的未来--语言统计模型做出它们所做的事情--似乎出乎意料。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2p3ij5039kro3fdlcjnc22
SpaceXAI 2T 参数模型 Grok 4.6 预计 8 月 7 日内推出，Grok 4.7 紧随其后
SpaceXAI 的 Grok 4.6 模型预计在 8 月 7 日前推出，参数规模达 2T，各方面表现优于 1.5T 的 Grok 4.5，当前已完成初步训练。Grok 4.7 则计划在 8 月 21 日前推出，规格与性能尚不清楚。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms2ovr3a031gro3frq3jxfdv
用 LLM 实现证明自动化：Lean 中构建 Zstandard 解压器的实践
依赖类型语言（如 Lean）的证明工作耗时巨大，seL4 项目的证明代码量是 C 代码的 20 倍以上。作者利用 LLM 结合证明无关性（proof irrelevance）实现自动化，在 Lean 中构建了一个 Zstandard 解压器，认为 LLM 能大幅降低证明工程开销，使依赖类型系统变得更为实用。 🔗 阅读原文 via AI HOT ·...
美团全场景 AI Agent 平台 CatPaw 发布，已在内部大规模落地
美团今日发布全场景 AI Agent 平台 CatPaw，提供移动端与 PC 客户端，支持 7×24 小时云端运行与长程任务。该平台已在内部覆盖 9 万员工、搭建 3 万个 Agent，并融入本地生活行业认知，封装为门店经营、评价诊断等即装即用的专家与技能。 🔗 阅读原文 via AI HOT ·...