2026年06月13日
最后更新：2026-06-13 08:01:31 UTC+8
文章网址： https://www.renaultgroup.com/en/magazine/energy-and-powertrains/all-about-electric-motors-with-no-rare-earths/ 评论网址： https://news.ycombinator.com/item?id=48510010 积分： 98 #评论： 25
文章网址： https://depthfirst.com/research/21-zero-days-in-ffmpeg 评论网址： https://news.ycombinator.com/item?id=48510046 积分： 46 #评论： 19
文章网址： https://putt.day/ 评论网址： https://news.ycombinator.com/item?id=48510341 积分： 27 #评论： 21
文章网址： https://www.gadgetreview.com/amd-stiffs-researcher-10000-bug-bounty-after-critical-security-flaw-takes-124-days-to-fix 评论网址： https://news.ycombinator.com/item?id=48510357 积分： 10 #评论： 0
文章网址： https://www.youtube.com/watch?v=zfYsSFY4l18 评论网址： https://news.ycombinator.com/item?id=48510471 积分： 8 #评论： 3
arXiv: 2606.12616v1公告类型：新 摘要：闭环驾驶模拟器通常在其环境中填充非自我交通代理，其行为方式大致相同，由基于规则的交通管理员或经过单一行为模式训练的学习模型生成。 最近的工作通过观察数据上的事后标签或LLM推断奖励引入了风格变化。
arXiv: 2606.12594v1公告类型：新 摘要：现代精益定理证明者只有通过大量的训练和推理计算才能获得强大的性能，部分原因是缺乏经过验证的证明数据和形式证明搜索的长期推理痕迹，这使得监督微调（ SFT ）和抽样都非常昂贵。 我们推出了Pythagoras-Prover ，这是一个高效计算的开源精益家族……
arXiv: 2606.12587v1公告类型：新 摘要：传统上，决策支持研究人类如何使用机器学习模型来做出更好的决策。 在现代代理系统中，这种角色划分越来越颠倒：人工智能代理代表用户行事，而人和工具则成为他们周围的支持机制。 这种角色转换将可靠性问题带到了最前沿，因为农业...
arXiv: 2606.12563v1公告类型：新 摘要： Arbor是一个多智能体框架，引入结构化树搜索作为在大型有状态操作空间中操作的自主智能体的认知层。 先前的自主优化系统在具有无状态评估的孤立目标上运行。 相反， Arbor维护了一个显式搜索树，其中包含作为共享工作的得分假设...
arXiv: 2606.12451v1公告类型：新 摘要：在大型工具目录上部署作为代理的大型语言模型面临着一个关键的工具检索瓶颈。 由于基于嵌入的检索方法依赖于可能无法捕获专用工具语义的紧凑型编码器，因此参数化工具检索通过将每个工具编码为附加到LLM词汇表的虚拟令牌来解决这个问题，并进行了微调。
Kimi 智能助手在 2026 年 6 月 12 日宣布 Kimi 信用卡开放预约，官方称其为“AI 原生信用卡”。目前确定的信息是：消费积分可兑换 Kimi 算力额度、Agent 使用额度和高级功能权限；具体申领条件、审核标准、合作银行和兑换比例仍未公布。Kimi 把会员权益包装进信用卡6 月 12 日，Kimi 智能助手官方微信公众号发布《全球首张 AI 原生信用卡！开放预约！》，宣布 Kimi 信用卡开启预约。官方给出的定位不是传统联名卡，而是把 AI 服务放进信用卡权益体系：持卡人的消费积分可转化为 Kimi 算力额度，并用于兑换 Agent 使用额度、高级功能权限等。这句话里真正有信...
Google 在 6 月 9 日发布 Gemini 3.5 Live Translate，定位为实时语音到语音翻译音频模型。官方称其支持 70 多种语言、2000 多种语言组合，并开始接入 API、Google Translate 和 Meet。不是翻译按钮，而是连续语音流模型Google 把 Gemini 3.5 Live Translate 定义为“latest audio model”，不是 Google Translate 里的一个普通 UI 更新。它面向的是 speech-to-speech translation：输入连续语音流，输出另一种语言的语音，同时保留说话人的语调、节奏和音...
Anthropic 在 2026 年 6 月 9 日发布 Claude Fable 5，把此前只在 Project Glasswing 中受限开放的 Mythos 级能力推向通用用户。它的关键信息不是“更强”，而是 1M 上下文、128k 输出、每百万输入 10 美元、每百万输出 50 美元，以及高风险请求会回退到 Claude Opus 4.8。Fable 5 是通用版 MythosAnthropic 将 Claude Fable 5 定义为“面向通用用户安全开放的 Mythos-class 模型”。官方说明里，Mythos-class 位于 Opus class 之上；4 月先通过 Pro...
Google 在 6 月 8 日升级 NotebookLM：默认底座转向 Gemini 3.5 与 Antigravity，给每个 notebook 配置安全云端计算机，可运行代码、生成文件，并从聊天中补全来源库。现阶段面向 Google AI Ultra 和部分 Workspace 商业客户开放。NotebookLM 开始承担执行型研究任务Google 官方博客把这次更新定义为 NotebookLM 的“agentic capabilities”升级。具体变化有三项：聊天体验接入 Gemini 3.5 与 Antigravity；每个 notebook 配置安全云端计算机，可以写代码、运行代...
Google AI Plus 不是简单从9.99美元降到4.99美元，而是出现了更细的订阅分层：入门档价格下探，2TB 档位继续以9.99美元出现在 Google One 官网。入门 AI Plus 降到 4.99 美元6月8日，Google AI Plus 入门订阅将从美国区 7.99 美元/月降至 4.99 美元/月，包含储存空间从 200GB 提高到 400GB。价格下调会在用户下一次续费时生效，储存扩容则在未来几天内陆续推出。这个变化的信号不在“便宜了3美元”本身，而在 Google 开始把消费级 AI 订阅压到 5 美元附近。ChatGPT Plus、Claude Pro、Googl...
Kimi Code 这轮“焕新升级”的主线不是模型参数，而是开发者工具本身重写：新版 CLI 从 Python/uv 迁到 Node.js，配置格式、终端 UI、插件、子 Agent、目标队列和 ACP 接入都在 5 月末到 6 月初密集更新。新版 CLI 从 Python/uv 切到 Node.jsKimi Code 官方迁移文档把这次升级定义为“重大版本升级”：CLI 底层从 Python/uv 迁移到 Node.js，旧版将逐渐停止维护。官方给出的直接收益是安装链路更简单、启动更快、终端界面重新设计。这不是简单改安装脚本。新版数据目录、配置文件和会话结构与旧版不同。官方文档说明，第一次运...
微信开放平台公布小程序接入微信 AI 生态的指引。开发者需要在「小程序管理后台 - AI 能力」主动授权，平台提供自动模式和开发模式；功能仍处于内测阶段，目前用户侧暂不能体验。微信开放平台面向小程序开发者开放接入微信 AI 生态的能力。接入不是默认开启，开发者需要进入「小程序管理后台 - AI 能力」主动授权。这点决定了它不是简单的模型 API 接入，而是微信把 AI 助手与小程序运行、页面理解、审核链路放在同一个平台能力里处理。微信方面同时强调，是否接入由开发者自主决定，不影响现有小程序服务。自动模式让平台读取源码并分析页面自动模式的核心是低开发成本。开发者授权后，平台会在提审时读取小程序源...
WorkBuddy 的邀请积分活动开始在用户社区扩散。腾讯云开发者社区文章称，用户通过邀请链接带来新注册后，邀请人与新用户双方各得 500 积分；但截至发稿，WorkBuddy 官方落地页没有单独披露邀请活动细则。积分体系是 WorkBuddy 增长入口WorkBuddy 采用积分消耗制，积分与模型调用、任务规划和自动化执行成本相关。用户社区对积分的关注，来自两个直接约束：一是桌面 Agent 任务往往不是单轮问答，执行链路会持续消耗额度；二是 WorkBuddy 把专家中心、技能市场、跨平台连接和云服务能力打包到同一个工作台，积分余额会直接影响用户尝试频率。官方 WorkBuddy 落地页确...
6 月 5 日，Reddit 的 r/codex、r/OpenAI 和 r/ChatGPT 出现多条 OpenAI / ChatGPT / Codex 账号被停用的反馈。当前可确认的是社区反馈密集出现，且部分用户称收到“误停用后恢复”的邮件；OpenAI 状态页尚未把它列为账号封禁事故。社区反馈集中在 Codex 与付费账号这轮反馈最密集的位置不是传统媒体，而是 Reddit 的 Codex 用户社区。多条帖子在 6 月 5 日集中出现，描述相似：账号被 deactivated、disabled 或 banned，邮件理由笼统，用户无法确认具体触发项。受影响者的自述覆盖几类场景：Pro 账号、...
月之暗面 Kimi 发布桌面端产品 Kimi Work，定位知识工作者的本地 Agent。官方页面把能力集中在本地文件、WebBridge 浏览器自动化、Cron 定时任务、Agent Swarm、PPT/Excel 交付和金融数据接入。Kimi Work 从网页问答转向本地执行Kimi Work 不是网页版 Kimi 的外壳。官方 FAQ 给出的区分很明确：网页版 Kimi 主要负责轻量对话问答，Kimi Work 则是桌面本地 Agent，能读取用户授权的本地文件夹、操控浏览器、后台运行 Python 代码，并支持定时任务。这把 Kimi 的入口从聊天窗口推到操作系统侧。官方页面给出的示例...
大家好，我正在计划一个新的开源基础设施项目，并希望从在生产中运行大量LLM工作负载的人员那里获得一些关于架构和用例有效性的残酷反馈。问题：基于Python的代理/网关为实时流媒体代理步骤或快速UI完成引入了过多的延迟开销。此外，集中式语义缓存仍然...
我写了一个distilHuBERT的C + +实现。https://github.com/pfeatherstone/hubert.cpp它没有运行时依赖关系，权重被编译到库中，它支持动态大小，性能与onnxruntime相当（在我的测试中） ，可以轻松集成到任何CMake项目中。请告诉我您的想法。提交者：/u/Competitive_Act5981 [link] [comments...
结果即将到来。祝大家好运，等待/u/Sea_Muscle_4281🙂提交的最终决定[link] [comments]
来自Wired ： “我们正在改变寓言5对前沿法学硕士发展的保护措施，使其可见。” Anthropic在给WIRED的一份声明中说。“我们做出了错误的权衡，我们为未能取得正确的平衡而道歉。“ Anthropic现在表示它正在改变方向， Claude Fable 5对人工智能开发的保护措施将对用户可见。如果公司怀疑用户试图使用Claude...