2026年06月17日
最后更新：2026-06-17 08:04:55 UTC+8
文章网址： https://discuss.grapheneos.org/d/36469-grapheneos-has-been-ported-to-android-17-and-official-releases-are-coming-soon 评论网址： https://news.ycombinator.com/item?id=48561654 积分： 270 #评论： 110
文章网址： https://www.techdirt.com/2026/06/16/the-uks-teen-social-media-ban-is-political-theater-not-child-safety-policy/ 评论网址： https://news.ycombinator.com/item?id=48562957 积分： 57 评论数： 41
文章网址： https://mll.sh/humiliating-iis-servers-for-fun-and-jail-time/ 评论网址： https://news.ycombinator.com/item?id=48563394 积分： 17 #评论： 0
文章网址： https://nlnet.nl/news/2026/20260616-67-new-projects.html 评论网址： https://news.ycombinator.com/item?id=48563569 积分： 23 #评论： 7
文章网址： https://writings.stephenwolfram.com/2026/06/launching-version-15-of-wolfram-language-mathematica-built-in-useful-ai-lots-of-new-core-functionality/ 评论网址： https://news.ycombinator.com/item?id=48563609 积分： 4 #评论： 1
arXiv: 2606.14935v1公告类型：新 摘要：前沿推理微调语言模型在深度演绎任务上仍然失败，通过扩展内部推理提高性能的成本很低。 符号委派提供了一个互补的途径：语言模型翻译问题，而求解器执行推理。 但是，当前日志的自动形式化管道...
arXiv: 2606.14923v1公告类型：新 摘要：随着语言模型代理越来越多地在团队中工作，每个代理必须决定在多大程度上信任其队友。 然而，我们缺乏衡量人工智能代理之间信任的标准方法。 我们提出了一种基于代价高昂的验证的行为测量方法。 在合作生存游戏中，检查队友的工作会消耗资源，而相信错误的答案可能是……
arXiv: 2606.14892v1公告类型：新 摘要：人工智能必须有一个因果环境模型，支持关于干预和反事实的推理，以及组合，支持泛化为看不见的物体组合。 在这项工作中，我们正式研究了何时以及如何学习这种模型。 我们开发关系结构因果模型，例如……
arXiv: 2606.14885v1公告类型：新 摘要：对大型语料库的代理搜索依赖于检索器介导的接口（例如BM25或ColBERT ）进行可扩展的候选发现。 虽然这些界面可以有效地对相关文档进行排名，但仅将证据作为排名结果或有界文档视图显示，从而限制了客服代表重新组织材料和验证跨文档约束的能力。...
arXiv: 2606.14838v1公告类型：新 摘要：如何定义一个好的解释是一场长期存在的哲学辩论，最近人们对人工智能输出的背景重新产生了兴趣。 在许多情况下，可解释性对于人工智能的采用至关重要，但为了对人工智能系统进行良好的解释，我们必须首先了解什么是好的解释。 在本文中，我们建议...
在过去的几周里，我们花了一个基准/线束，试图诚实地回答一个问题：机器人手臂实际上完成了演示的任务，还是成功指标被愚弄了？设置：将人类演示编译为以对象为中心的图形（世界上发生了哪些变化：关系、联系人、事件顺序） ，运行求解器，然后仅从推出中独立提取图形，并检查它们是否……
ECCV 2026的最终决定预计将于2026年6月17日发布。由于没有指定确切的发布时间，结果可能会在48小时内推出。此主题供所有人分享最新动态、讨论结果，并通过决策相互支持。祝大家好运！提交者：/u/mclovingho [link] [comments]
我一直在努力解决这个问题！对于任何试图加快其标记化工作流程的人来说都应该是有用的。quicktok是一个用C + +编写的快速/精确的BPE标记器。令牌ID与tiktoken的字节相同，编码速度比bpe-openai （我所知道的最快的替代方案）快2–3.6倍，比tiktoken本身快4–11倍。它提供cl100k、o200k、GPT-OSS、Llama-3和Qwen2.5/3。接近。同样的……
事实证明， LLM对特定于模型和版本的角色名称有很强的先验性。如果你在一个网站上找到Elena Vasquez和Marcus Chen在一起， Claude很有可能生成它。我们在研究模型差异方法（ CDD ）时偶然发现了这一点，并发展成了自己的论文。简短的版本：这些名字作为相关的集合传播，看起来像是……
Kimi K2.7 Code 已开放权重，定位长程编码智能体模型。它沿用 K2.6 架构，给出 1T 总参数、32B 激活参数、256K 上下文和 MoonViT 视觉编码器；性能数据仍缺少独立复现，需要开发者在真实仓库里长测。K2.7 Code 把更新焦点压到编码 Agent月之暗面这次不是只给 Kimi K2 系列补一个小版本号。Kimi K2.7 Code 的定位很窄：coding-focused agentic model，面向端到端软件工程任务，而不是通用聊天。模型建立在 Kimi K2.6 之上，架构仍是 MoE。当前公开规格是：1T 总参数、32B 激活参数、61 层、384 个...
Anthropic 暂停 Claude Fable 5 与 Mythos 5 访问，导火索是美国政府针对外国用户使用先进模型的限制指令。公开信息仍缺少完整官方原文，但核心信号已经清楚：AI 出口管制正在从芯片、算力和云服务，推进到模型访问本身。Fable 5 刚开放就被按下暂停键Claude Fable 5 的生命周期被拉得很短。它在本周刚作为 Anthropic 面向更广用户开放的 Mythos 级模型出现，随后又因为美国政府指令被暂停访问。受影响的不只是普通用户，限制口径还覆盖外国个人和实体，甚至包括身在美国境内的外国国民。Anthropic 选择统一下线，而不是只做地区或身份分流。这个动...
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 落地页确...