2026年07月17日
最后更新：2026-07-17 08:07:57 UTC+8
文章网址：https://hellorecon.com/blog/cve-2026-25089 评论网址：https://news.ycombinator.com/item?id=48940895 积分：12 # 评论: 0
文章网址：https://github.com/cgrtml/reasongate 评论网址：https://news.ycombinator.com/item?id=48941051 积分：6 # 评论: 7
文章网址：https://github.com/alxndrTL/little-book-rl/ 评论网址：https://news.ycombinator.com/item?id=48941104 积分：30 # 评论: 3
我编写 Mojibake 是因为我不喜欢其他 Unicode 库的 Unicode 支持。它仅包含两个合并文件：mojibake.h 和 mojibake.c。我添加了所有最重要的 Unicode 算法，例如规范化、大小写转换、分段、双向文本、排序规则、混淆等。我定期在这些操作系统中测试它：Linux、macOS、FreeBSD、OpenBSD、NetBSD、...
文章网址：https://imdanielkendall.com/the-great-software-regress-how-move-fast-and-break-things-broke-our-lives/ 评论网址：https://news.ycombinator.com/item?id=48941129 积分：84 # 评论: 87
arXiv:2607.13104v1 公告类型：新 摘要：自我改进的自主代理正在从研究原型转向部署系统。主要目标是通过最少甚至没有人类输入的经验实现可控的进化或适应。这项调查将现代自我改进代理视为自适应系统，将经验转化为累积的能力增益。我们提供系统级...
arXiv:2607.13073v1 公告类型：新 摘要：基于 $IFOL_B$ 的神经符号人工智能是一种将神经学习和符号推理相结合的方法，以克服纯神经系统的局限性（例如缺乏可解释性和逻辑结构），并具有用于自我参考的形式逻辑机制。在本文中，我们通过使用概率计算来扩展 $IFOL_B$ 的认知能力...
arXiv:2607.13069v1 公告类型：新 摘要：大型语言模型产生的思想链（CoT）推理看似逻辑合理，但可能并不真正依赖于其既定前提。我们引入介入性基础审计，这是一种黑盒、步骤级前提依赖性测试：我们通过用新符号替换其目标谓词来干预单个前提，重新运行模型，...
arXiv:2607.13049v1 公告类型：新 摘要：基础模型为机器人提供了复杂决策的复杂大脑，但将这种智能部署到物理平台中仍然需要繁琐的、专家驱动的校准。这种部署差距，即机器人的脊髓，仍然是可扩展的嵌入式人工智能的主要瓶颈。因此，我们提出 SPINE（可扩展物理集成...
arXiv:2607.13037v1 公告类型：新 摘要：当数据贡献者请求删除时，模型训练者面临着一个实际差距：遗忘算法需要遗忘集，但没有工具可以找到哪些训练记录属于给定作者。现有的来源系统在文件或数据集级别运行，导致灾难性的过度删除。我们推出 ob，一个记录级和代币级的数据来源服务...
我订阅了 ai/ml 时事通讯，但我觉得这还不够。我需要一种完整且不太耗时的方式来跟上 AI/ML 新闻，因为我感觉自己被落在了后面。提前感谢 /u/mehmetflix_ [链接] [评论] 提交
大家好，在过去的几个月里，我一直在独立开发一个名为 **DABSN（动态自适应偏置状态网络）** 的循环架构，现在我终于可以放心地分享第一个预印本了。这篇论文主要是关于架构本身及其在推理、内存和长序列基准测试（MQAR、复制、键值检索、A5/60 等）上的行为。
在写一篇关于人工智能记忆和持久上下文的文章时，我开始想知道当前的人工智能记忆系统是否针对正确的事情进行了优化。当前的人工智能系统已经通过保存的记忆、对话摘要、用户偏好、项目笔记和类似机制来维护持久上下文的形式。这些记忆主要是描述性的。它们帮助系统记住事实...
刚看到 ECCV 的注册费，我很震惊，学生注册费为早鸟 440 美元，最糟糕的是，如果你在那里提交论文，你甚至不能进行学生注册，论文必须包含 805 美元的完整注册费用。他们是如何惩罚我们接受论文的？我们甚至申请了旅行补助金和注册豁免......
SpaceXAI 已公开 Grok Build 的终端客户端、智能体运行时和工具层，第一方代码采用 Apache 2.0 许可。开发者可以阅读、修改和自行构建这套 Rust 工程，但此次开放不包含 Grok 4.5 模型权重。开源的是编程智能体框架Grok Build 是一款运行在终端里的编程智能体。用户输入任务后，它可以读取项目文件、修改代码、执行命令、搜索网页，并在长任务中持续管理执行进度。除了全屏交互界面，它还支持无界面运行，可以放进脚本和持续集成流程；ACP（Agent Client Protocol）则让编辑器和其他应用接入同一套智能体。这次公开的是 grok 命令背后的 CLI、T...
百度正在参与中国版 Apple 智能的 AI 搜索开发，搜索可处理文字和图片，并与中国版 Siri 的升级配合。Apple 智能已完成手机端侧生成式 AI 服务备案，但国行设备当前仍需等待系统更新开放。百度负责的是系统内 AI 搜索百度开发的搜索功能属于中国版 Apple 智能套件，可同时处理文字和图片查询，并与中国版 Siri 的升级配合。用户以后向系统提交的内容不再局限于一句文字，也可以包含图片，让搜索理解画面里的对象和问题。这项合作聚焦 Apple 智能的系统体验，不是一次百度 App 的独立产品更新。搜索能力会如何进入 Siri 和其他系统功能，要以国行版本正式开放后的界面为准。百度与...
国行 iPhone 使用千问的方式将从独立 App 扩展到系统级调用：Apple 智能已完成备案，千问确定参与文本、图像理解和内容生成能力。但备案不等于立即上线，苹果尚未公布推送版本和开放日期。备案完成，但现在还不能打开Apple 智能的手机端侧生成式 AI 服务备案于 2026 年 7 月 8 日办结，7 月 15 日对外公示，适用场景标注为苹果手机。这个节点解决的是向公众提供端侧生成式 AI 服务的合规前置条件，不是一轮面向用户的软件推送。截至 7 月 15 日，国行 iPhone 仍被标注为不能使用 Apple 智能，备案公告也没有给出上线日期。把“完成备案”写成“已经上线”，会让用户在...
豆包和千问的消费端智能体入口出现下线或收起信号，但公开渠道未见完整停服公告。更确定的变化是：长尾智能体广场从前台分发位退后，模型、插件、工作流和企业应用构建继续留在后台。这次变化最容易被误读成“Agent 赛道退潮”。更准确的说法是：下线发生在消费端入口，不是底层 Agent 能力。截至 2026 年 7 月 4 日，公开页面仍把豆包、千问呈现为通用 AI 助手，而不是面向开发者的智能体构建平台。另一侧，开发者和企业产品线仍保留智能体应用、工作流、插件、MCP、模型调用等能力。两条线分开看，信号就清楚了：消费端不再强调“逛智能体”，平台侧还在继续把 Agent 当成应用构建能力。这不是小差别。...
Claude Code“隐藏后门检测中国用户”的说法正在传播，但目前能确认的是访问地区限制、身份验证和源码泄露背景。把地理风控直接等同于后门，证据不够；对中国开发者更现实的风险，是代理和中转服务泄露账号、密钥和提示词。可以确认的是访问限制，不是后门Claude Code 不是一个完全离线的本地二进制。它可以读取代码库、编辑文件、运行命令，但核心能力仍依赖账号、订阅、API 或第三方模型通道。官方安装文档把所在地列为前置要求：用户需要位于支持国家或地区。公开的支持地区列表覆盖 API 和 Claude.ai，两张列表里都没有中国大陆、香港和澳门。这已经足够解释一部分社区现象：同样的客户端，在不同...
Anthropic 在 2026 年 6 月 30 日发布 Claude Sonnet 5。它的标准 API 价格是每百万输入 3 美元、输出 15 美元，比 Opus 4.8 低 40%；到 8 月 31 日还有每百万输入 2 美元、输出 10 美元的限时价。能力叙事集中在编码、浏览器使用和长链路 Agent，独立复现仍要等真实项目数据。价格：标准价比 Opus 4.8 低 40%Claude Sonnet 5 的 API ID 是 claude-sonnet-5，定位不是旗舰线替代品，而是把更多 Agent 能力放进 Sonnet 价格带。标准价格维持 Sonnet 4.6 水平：每百万输...
Gemini Omni Flash 的重点不是“又一个视频模型”，而是把文本、图片、视频和音频都纳入同一条生成链路。它先在 Flow、Gemini 和 YouTube Shorts 等产品内落地，API 与第三方长测还没有形成稳定结论。Omni 从视频开始Gemini Omni 是 Google 新开出的生成模型系列，第一款模型叫 Gemini Omni Flash。这个名字容易误读：它不是 Gemini Flash 文本模型的普通小版本更新，而是一个面向生成媒体的 Omni 分支，首个落点是视频。它能把文本、图片、视频、音频作为引用输入，生成一段带画面和声音的视频，或者在已有视频上做多轮编辑...
Nano Banana 2 Lite 已在 Gemini API GA，模型 ID 为 gemini-3.1-flash-lite-image。它只支持 1K 输出，标准调用每张约 0.0336 美元，Batch 约 0.0168 美元，定位不是画质旗舰，而是高频交互和低成本编辑。Lite 把重点放在吞吐和价格Nano Banana 2 Lite 的稳定模型 ID 是 gemini-3.1-flash-lite-image，另有 gemini-3.1-flash-lite-image-preview-06-30 预览别名。它已进入 GA，Gemini API 的生产环境可以直接调用稳定 ID。...
DeepSeek V4 正式版被列入 7 月中旬上线窗口，API 计费可能从单一价格切到峰谷价。Pro 版输出在平时为 6 元/百万 tokens，高峰时段为 12 元；Flash 输出从 2 元升到 4 元。公开页面尚未同步这组调整，现阶段只能按 API 用户通知处理。正式版时间窗口落在 7 月中旬DeepSeek V4 预览版已经跑了两个多月。新的 API 用户通知给出下一步安排：V4 正式版计划在 2026 年 7 月中旬上线，更新方向包括功能优化和性能提升，但没有给出新的 benchmark、上下文窗口变化或模型架构细节。这类信息不能写成完整发布。更准确的判断是：DeepSeek 已经...
DeepSeek 把 DSpark 放到了 DeepSeek-V4 的发布链路里：它面向 Pro 和 Flash 两个检查点，核心目标是用推测解码压低生成延迟。这不是新基座模型发布，更接近一次推理系统侧的加速更新。DSpark改的是解码，不是模型定位DSpark 的位置需要先说清楚：它不是 DeepSeek-V4 之外的新一代大模型，而是给 DeepSeek-V4 Pro 和 DeepSeek-V4 Flash 配套的推测解码模块。推测解码的基本思路很直接。先让一个更轻的草稿模块连续猜出若干 token，再由主模型批量校验。猜对的 token 可以一次性通过，猜错就回退到主模型正常生成。理想情...