2026年07月15日
最后更新：2026-07-15 08:05:18 UTC+8
文章网址：https://github.blog/changelog/2026-07-14-dependabot-version-updates-introduce-default-package-cooldown/ 评论网址：https://news.ycombinator.com/item?id=48913050 积分：65 # 评论: 41
文章网址：https://www.bis.org/publ/bisbull120.pdf 评论网址：https://news.ycombinator.com/item?id=48913443 积分：51 # 评论: 9
文章网址：https://www.benjamin-bai.com/projects/lemario 评论网址：https://news.ycombinator.com/item?id=48913763 积分：14 # 评论: 0
文章网址：https://github.com/urbancamo/fx870p-emulator 评论网址：https://news.ycombinator.com/item?id=48913910 积分：5 # 评论: 0
文章网址：https://remark.ing/rob/rob.mw/-/Linear-is-always-a 评论网址：https://news.ycombinator.com/item?id=48913953 积分：7 # 评论: 3
arXiv:2607.09698v1 公告类型：新 摘要：最近的潜在推理方法，例如 CODI 和 COCONUT，面临着一个基本的可解释性问题：它们在每一步的隐藏空间中维护多个叠加的候选轨迹，这与遵循单个透明推理轨迹的显式 CoT 不同。现有的机械方法显示了压缩、快捷方式和叠加，而无需额外...
arXiv:2607.09689v1 公告类型：新 摘要：对于局部渐近正态性（LAN）下的前序，工作人员在大小为 $n$ 的块上发出的置信密度是吉布斯-玻尔兹曼测度 $\exp\{-\beta E(\theta)\}$，其反温度是样本大小 $\beta=n$。三个结果在高斯/线性情况下是精确的，否则是一阶的：不相交的块带有独立的......
arXiv:2607.09678v1 公告类型：新 摘要：当LLM代理相互传递信息时，消息格式重要吗？两篇文献存在分歧：格式优化工作报告认为，结构化消息可以在不损害准确性的情况下降低成本，而格式限制工作则发现，强加结构会降低生成速度——并且两者都没有衡量当消息遍历多个时会发生什么。
arXiv:2607.09665v1 公告类型：新 摘要：提示包装器通常仅在格式上有所不同，但它们可以改变模型分数足以推翻排行榜结论。我们在令牌控制协议下研究这种方差，并引入两个互补的指标：格式敏感度指数（FSI），由包装器选择引起的准确度范围，以及可解析性敏感度指数（PSI），...
arXiv:2607.09664v1 公告类型：新 摘要：为了提供结构化和可解释的评估，我们将基于图像的诊断分解为遵循 Toulmin 论证模型的组件。该模型由主张、理由、保证、限定词、反驳和支持组成。考虑用于视网膜诊断的机器学习 (ML) 模型生成的声明。而不是接受这个CL...
我最近一直在研究增量索引管道，基本上是在源数据发生变化时保持向量存储同步，并且我不断发现相同的错误直到运行一段时间才出现。对我来说最大的一个就是删除。我测试了“新文档进入，嵌入”路径一百次，效果很好。从未真正测试过当文档被上游删除时会发生什么。原来你...
我构建这个 Snake 演示是为了展示使用 FeynRL 从数据准备到训练和评估是多么容易。这个模型对于 Snake 来说有点大材小用，但这不是重点。此示例以简单、直观且有趣的方式介绍了完整的 VLM 训练流程，展示了 FeynRL 如何让您更轻松地理解 LLM 和 VLM 等大型模型是如何构建、训练和优化的。
LLM 代理人可以在长期、开放的世界中进行协调吗？我们在新的基准中评估了 13 个现代法学硕士，其中代理必须共同努力探索、交流、交易资源、制作工具、建造结构和对抗暴民。 TL;DR：大多数代理都在挣扎，平均只有约 6% 的标准化回报。然而，在最困难的环境下，零样本 Gemini 3.1 Pro 的表现可与训练有素的最佳 MARL 特工相媲美……
大家好。我想介绍一下我最近在 ICML 研讨会上发表的研究成果。 github链接：genji970/SRM-LoRA：“SRM-LoRA：Sub-Riemannian-Metric Updates for Mitigating LLM Hallucination in Low-Rank Adaptation”的官方实现 ICML2026 Workshop FoGen Shot 论文摘要。 """ SRM-LoRA 是一种受亚黎曼启发的 LoRA 方法，旨在减少 LLM 幻觉。它构建了一种敏感...
豆包和千问的消费端智能体入口出现下线或收起信号，但公开渠道未见完整停服公告。更确定的变化是：长尾智能体广场从前台分发位退后，模型、插件、工作流和企业应用构建继续留在后台。这次变化最容易被误读成“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 可以一次性通过，猜错就回退到主模型正常生成。理想情...
豆包专业版不只是把聊天助手加上会员入口。付费协议已经把会员、云存储和体系内产品消耗写进同一套规则，办公任务模式更像是把 PPT、文档、数据分析等高算力任务统一纳入额度管理。专业版从灰度测试走向正式付费豆包 iOS 端当前版本为 13.9.0，更新时间是 2026 年 6 月 23 日。App Store 页面已经把付费订阅写进产品描述：基础版免费，标准版连续包月 68 元、连续包年 688 元；加强版连续包月 200 元、连续包年 2048 元；专业版连续包月 500 元、连续包年 5088 元。这和 5 月初的灰度测试相比，变化不在价格，而在产品边界更清楚。豆包付费服务协议在 2026 年 ...
字节跳动发布 Seed2.1 系列，已接入豆包、TRAE 和火山方舟。新版本把重点从静态榜单转向真实工作流：通用 Agent、Coding Agent、多模态理解和模型研发自动化。现阶段关键 benchmark 仍主要来自发布材料，需要等独立评测复现。Seed2.1 已进入豆包、TRAE 和火山方舟字节跳动 Seed 团队发布 Seed2.1 系列模型，定位是面向真实生产力场景的智能体模型。可用渠道已经明确：豆包产品、TRAE Work、TRAE IDE，以及火山方舟体验中心和 API。模型选择里出现的是 Doubao-Seed-2.1-Pro 和 Doubao-Seed-2.1-Turbo。...
Codex 的 Record & Replay 不是简单录屏回放，而是把一次本地工作流示范转成可复用 skill。它适合稳定、重复、偏个人偏好的 macOS 操作；当前可用性受地区、Computer Use 开关和组织策略限制。录一次操作，产物是 skillRecord & Replay 的核心产物不是视频，也不是按坐标重放的宏脚本，而是一份 Codex skill。用户先在 Mac 上示范一个已经知道怎么完成的流程。Codex 观察完成任务所需的操作和窗口内容，录制停止后再把这段流程整理成 skill：什么时候触发、需要哪些输入、按什么步骤执行、最后怎么验证结果。这和普通提示词的差别在于，s...