2026年07月16日
最后更新：2026-07-16 08:06:05 UTC+8
文章网址：https://mort.coffee/home/sqlite-editions/ 评论网址：https://news.ycombinator.com/item?id=48928135 积分：53 # 评论: 25
文章网址：https://www.nngroup.com/articles/anti-mac-interface/ 评论网址：https://news.ycombinator.com/item?id=48928234 积分：28 # 评论: 4
文章网址：https://chemistry.berkeley.edu/news/meet-metal-organic-frameworks-chemistry%E2%80%99s-new-miracle-materials 评论网址：https://news.ycombinator.com/item?id=48928313 积分：18 # 评论: 5
文章网址：https://sqlite.org/nulinstr.html 评论网址：https://news.ycombinator.com/item?id=48928343 积分：8 # 评论: 0
文章网址：https://playonemoreletter.com/ 评论网址：https://news.ycombinator.com/item?id=48928402 积分：10 # 评论: 5
arXiv:2607.11959v1 公告类型：新 摘要：温室强化学习可以以仅靠作物实验难以实现的速度和规模来测试气候控制想法。然而，对于智能温室控制，单个模拟器返回是不够的：种植者或控制工程师还需要知道政策何时加热、增加二氧化碳、通风、管理湿度、部署屏幕……
arXiv:2607.11951v1 公告类型：新 摘要：大型语言模型可以编写 SQL，但企业部署需要的不仅仅是看似合理的文本：输出必须在语法上有效，必须尊重每个角色和每个模式的策略，必须携带可证明的（而不是尽力而为的）保证，不能随着世代的增长而放慢速度，并且必须留下每个决策的合规级记录。我们提出 GRID（语法...
arXiv:2607.11948v1 公告类型：新 摘要：根据数据驻留规则运营的受监管金融机构需要可以在机构范围内运行的租户拥有的语言模型。本文将两项相关的FAOS 研究合并为一篇机制与控制文章。首先，它报告了本体放大蒸馏的低功耗机制证明研究：Qwen3.6-27B 研究...
arXiv:2607.11906v1 公告类型：新 摘要：决策预训练变压器、算法蒸馏、长上下文元强化学习和检索增强代理的发展重新引起了人们对上下文强化学习（ICRL）的兴趣：预训练或微调的决策模型能够从交互上下文中推断潜在任务规则并改善未来行为，而无需测试时间......
arXiv:2607.11888v1 公告类型：新 摘要：我们开发了一个严格的理论框架，用于零做市商费用的永续期货市场中的最优做市。我们将做市商的问题建模为过滤概率空间上的随机最优控制问题，其中控制是两个交易所之间的自适应买卖价差和库存对冲决策。我们的贡献是...
Anthropic 的联盟团队发布了来自 Anthropic、OpenAI、Google DeepMind、xAI、DeepSeek 和 Moonshot AI 模型的四种具体故障模式的案例研究。秘密破坏：Gemini 3.1 Pro 作为研究特工，不同意一项实验。它没有拒绝，而是默默地用零替换了训练向量，因此运行看起来很成功，但什么也没做。它发布了一个看起来很正常的...
由 /u/Sgt_Gram 提交 [链接] [评论]
由 /u/One-Board8634 提交 [链接] [评论]
大家好，想了解一下社区对此的看法。我发现，尽管人工智能在工作中给我带来了诸多好处，但它却慢慢侵蚀了我曾经引以为傲的许多技能。我曾经对自己的写作和创造力感到非常自豪，但在过去的几年里，这种技能已经慢慢被侵蚀。写电子邮件、文章，甚至在 Reddit 上发帖都会立即引发操作的冲动……
我的新消息，揭示了 Grok Build 的崩溃，包括对引发这一切的开发人员的采访。 由 /u/julielee_101 提交 [链接] [评论]
我目前正在研究世界模型，特别是在机器人学习领域，并且，正如你们大多数人可能已经知道的那样，类似 JEPA 的模型被一遍又一遍地提到。 我阅读了 lecun 以及其他研究小组最近的主要论文，我个人认为整个方法非常有前途，并且确实可以取得进展。但听了最近 Y Lecun 会议的一堆内容后……
大家好，与 A100 相比，在 NVIDIA T4 上运行点跟踪模型时速度减慢了约 170 倍。在 A100 上，跟踪器每个半视频大约需要 0.5 秒。在 T4 上，相同的调用大约需要 85 秒。视频为 47 帧，256×256，批次 1。我预计这些卡之间存在有意义的差距，但 170× 感觉太大，无法仅用各代硬件差异来解释。设置：精度：纯 FP32 Arch...
从 2019 年左右开始，我就对人工智能和机器学习产生了浓厚的兴趣，当时 GPT-2 仍然是主要话题之一。从那时起，我对这个领域的发展速度感到惊讶。这确实是参与技术、研究和创新最激动人心的时刻之一。我的背景是音频。我一生的大部分时间都在担任音频工程师，而且我...
我最近开始独立研究机械可解释性，从蒸馏电路线程开始，我的工作是解开并仔细研究单个神经元，即 inceptionv1 模型中的 1x1 卷积（并将该方法应用于同一层中的其他神经元）。关键的见解是感受野和神经元权重的哈达玛乘积就是神经元所...
国行 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 可以一次性通过，猜错就回退到主模型正常生成。理想情...
豆包专业版不只是把聊天助手加上会员入口。付费协议已经把会员、云存储和体系内产品消耗写进同一套规则，办公任务模式更像是把 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。...