2026年07月14日
最后更新：2026-07-14 08:02:58 UTC+8
文章网址：https://insideai.news/news/ai-safety/mits-new-method-flags-ai-models-trained-on-child-abuse-imagery-without-generate-it/3869/ 评论网址：https://news.ycombinator.com/item?id=48899324 积分：10 # 评论: 3
文章网址：https://github.com/thephw/claude-meseeks 评论网址：https://news.ycombinator.com/item?id=48899529 积分：71 # 评论: 21
文章网址：https://www.bbc.com/travel/article/20260625-why-asias-cleanest-village-bans-tourists-on-sundays 评论网址：https://news.ycombinator.com/item?id=48899672 积分：41 # 评论: 15
文章网址：https://www.thenewcritic.com/p/manifest-man 评论网址：https://news.ycombinator.com/item?id=48899888 积分：6 # 评论: 3
Article URL: https://www.bbc.com/news/articles/cm2drrv6q54o Comments URL: https://news.ycombinator.com/item?id=48900191 积分：5 # 评论: 0
arXiv:2607.08986v1 公告类型：新 摘要：我们通过让数学家指导人工智能系统，在 Lean 4 证明助手中形式化研究结果，并将该活动框架为形式化游戏。目标是将 LaTeX 文档转变为精益文档。当开发编译时，游戏获胜，不包含任何遗憾，并且机器检查显示目标定理依赖于精益的基础斧头......
arXiv:2607.08964v1 公告类型：新 摘要：人工智能代理已经能够自主完成简短、明确的任务。然而，现有的终端基准测试主要关注在几分钟内完成的简单问题，并且仅根据最终结果进行评估。这种设置忽略了中间进度和部分解决方案，产生稀疏的奖励信号和不完整的图片......
arXiv:2607.08894v1 公告类型：新 摘要：大型语言模型（LLM）智能体在多步规划任务中表现出了良好的前景，但 LATS（语言智能体树搜索）和 ReAct 等现有方法在规划过程中严重依赖 LLM 推理，导致计算成本较高且行为随机。我们提出 \textbf{GATS} （图增强树搜索），一个结合了...的规划框架
arXiv:2607.08774v1 公告类型：新 摘要：大型语言模型（LLM）系统的可靠性通常被视为模型能力的函数。我们通过证明可靠性受到 \emph{推理时间控制}（管理任务框架和上下文选择的计算层）的显着影响来挑战这一点。我们引入 \emph{CogniConsole}，一个架构实例......
arXiv:2607.08773v1 公告类型：新 摘要：在这项工作中，我们针对人工智能安全的基本问题（即对抗鲁棒性）提出了严格的理论框架。特别是，我们证明对抗性鲁棒性问题可以简化为格遍历问题。 Each element of this lattice corresponds to an interval, i.e., an axis-aligned hyper-rectangle, containing an inp...
有其他人在使用人工智能时感到极度焦虑吗？我使用 ChatGPT 进行互动故事/RPG 游戏，出于某种原因，尽管从未收到警告或弹出红色内容，但我的大脑立即告诉我，当人工智能说出一些离奇或自掏腰包的东西时，我会因为人工智能所说的事情而陷入麻烦。 就像我正在做的一个，我的角色和她的朋友在一个乐队里，而她的禁令之一......
I was having a conversation with someone about AI, we got around to talking about creating original works versus AI works.我认为，要求人工智能创建诸如徽标之类的东西，无论你给予多少提示，仍然是直接抄袭。然而，当我们谈到从互联网上获取资源时，其他人的作品的零碎并不是抄袭，而是重新混合。 Whats ...
由 /u/ApartMaximum2335 提交 [链接] [评论]
我最近一直在思考的事情是：现在，人工智能代理与互联网的交互方式与人类相同——点击用户界面、解析 HTML、填写表格。这就是所谓的“计算机使用”，而且效率极其低下。下一步是代理本机基础设施 - 代理通过 API 和 MCP 等协议直接相互通信，完全跳过 GUI。我是...
由 /u/TrespassersWilliam 提交 [链接] [评论]
Disclosure: I built it, it is open source, Apache-2.0 licensed, and currently alpha. Repository: https://github.com/mireklzicar/gpuhedge I started working on it after benchmarking a 17 GB AI model across several serverless GPU providers. On the primary provider, requests usually either completed in ...
阅读一篇关于 LLM 推理的未来的长文，其中提出了一个具有挑衅性的主张：思想链是一个有用的技巧，但我们已经开始将可读跟踪与实际计算混淆了。 All in all, "generating text is not the same as thinking." There are two practical problems here: Faithfulness: CoT style traces can decouple from what the model actually "did."你可以通过...获得合理的步骤
Left: Telegram digest (optional);右图：关于 HTML 的详细摘要 可能和这里的每个人一样，我的阅读列表只会不断增加。浏览 arXiv 列表或我的提要每天需要 30-60 分钟，其中 95% 与我实际工作无关，而且时事通讯并没有真正帮助：它们显示流行的内容，而不是与我的研究相关的内容。因此，我构建了 Research Radar，这是一项每日 cron 作业，它： 获取曾经...
“Verbalized Sampling: How to Mitigate Mode Collapse and Unlock LLM Diversity”这篇论文今年被ICML接受。它的主要思想是一个非常简单的提示工程技巧： “以这种方式改变提示导致更多样化的抽样”。当然，很难为这样的事情提供严格的理论分析。即使有效，我也不确定这种及时的工程Bel...
豆包和千问的消费端智能体入口出现下线或收起信号，但公开渠道未见完整停服公告。更确定的变化是：长尾智能体广场从前台分发位退后，模型、插件、工作流和企业应用构建继续留在后台。这次变化最容易被误读成“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...