论文《Harness Handbook》研究如何让 AI agent 的 harness(提示构建、状态管理、工具调用等)在持续演化中保持可读、可导航和可编辑。
2026-07-17
— 今日主线:开源大模型军备竞赛白热化,Kimi K3 和 Soofi S 接连冲击榜单,而 Linus Torvalds 为 AI 编码工具在 Linux 内核中的使用一锤定音。
Moonshot AI 发布 2.8T 参数的开源模型 Kimi K3,性能直逼前沿闭源模型,但定价和开源策略引发社区争议。德国研究联盟发布混合架构模型 Soofi S,以 30B 参数在多项基准测试中超越更大模型。Linus Torvalds 强硬表态支持在 Linux 内核开发中使用 AI 工具,称反对者可以 fork 项目或离开。NVIDIA 发布 Nemotron 3 Embed 系列嵌入模型,登顶 RTEB 排行榜。OpenAI 被曝其 GPT-5.6 模型在特定配置下会意外删除用户文件。
头条
Moonshot AI 发布 2.8T 参数开源模型 Kimi K3,性能逼近 GPT-5.6 Sol 和 Claude Fable 5多源事件 ×5
Moonshot AI 发布 Kimi K3,一个 2.8T 参数的开源模型,采用 Kimi Delta Attention 和 Attention Residuals 架构,原生支持视觉能力与 1M token 上下文窗口。模型在多项基准测试中超越 Claude Opus 4.8 和 GPT-5.5,但仍落后于 GPT-5.6 Sol 和 Claude Fable 5。开放权重版本承诺于 7 月 27 日前发布。为什么重要:这是首个参数规模接近 3T 级别的开源模型,标志着开源社区在追赶前沿闭源模型的竞赛中迈出关键一步,但其高昂的 API 定价和开源策略的模糊性可能影响开发者采用意愿。
社区普遍认可 Kimi K3 的性能表现,但对其 API 定价过高表示不满,并对模型是否真正开源(开放权重 vs 开放源码)存在疑虑。
Linus Torvalds 强硬表态:Linux 内核不排斥 AI 编码工具,反对者可以 fork 项目或离开
Linus Torvalds 在 Linux 内核邮件列表中发表长篇声明,明确表示 Linux 不是反 AI 项目,他将坚决支持在内核开发中使用 AI 工具(如 Sashiko agentic LLM),并称任何对此有异议的人可以 fork 项目或直接离开。为什么重要:作为全球最重要的开源项目维护者,Torvalds 的表态为 AI 辅助编程在大型开源项目中的合法性树立了重要先例,可能影响其他项目的政策走向。
多数评论认可 AI 工具的实用性,但也有人担忧代码质量和安全性问题,认为 AI 生成的代码可能引入难以审查的漏洞。
NVIDIA 发布 Nemotron 3 Embed 系列,8B 模型登顶 RTEB 排行榜
NVIDIA 发布 Nemotron 3 Embed 系列嵌入模型,包含 8B 旗舰模型和两个 1B 高效变体,全部开源且可商用。8B 模型在 RTEB 排行榜上排名第一,专为高精度企业级 RAG、agentic retrieval 和代码检索场景设计。为什么重要:嵌入模型是 RAG 和 agent 系统的核心组件,NVIDIA 提供的这条精度-效率曲线为开发者提供了从实验到生产部署的完整选择,可能重塑企业检索增强生成的技术选型。
OpenAI GPT-5.6 被曝严重 bug:特定配置下会意外删除用户文件
OpenAI 工程师 Thibault Sottiaux 披露,GPT-5.6 在开启 Full access 模式且未启用沙箱保护和自动审查时,会尝试覆盖 $HOME 环境变量来定义临时目录,但有时会错误地删除整个 $HOME 目录。为什么重要:这暴露了 AI agent 在获得文件系统完全访问权限时的潜在破坏性风险,提醒开发者在部署 agent 时必须严格配置沙箱和安全边界,不能盲目信任模型的判断能力。
德国 AI 联盟发布 Soofi S:30B 混合架构模型在英德双语基准测试中超越更大模型
德国研究联盟发布开源模型 Soofi S,采用混合架构,31.6B 总参数中每 token 仅激活 3.2B,在德语、英语和编程基准测试中超越 Olmo 3 32B 和 Apertus 70B 等更大模型。模型完全在 Deutsche Telekom 的 AI 云基础设施上训练。为什么重要:Soofi S 证明了资源高效的混合架构可以在特定语言和任务上以小博大,为欧洲在主权 AI 基础设施上训练高性能模型提供了可行路径。
发布后有人质疑模型存在过度训练(overtraining)问题,但联盟已对此作出回应。
每天 3 分钟,读完全球科技圈
免费订阅日报直达邮箱;注册后还可收藏、👍/👎 个性化你的排序。
已发布 11 期 · 每天筛过 150+ 条只留值得读的 30 条
AI 动态
论文《Ring-Zero》探索将 Zero RL 扩展到万亿参数规模以激发 emergent reasoning,发现朴素扩展会导致可读性差和 token 冗余。
Thinky 发布 Inkling 系列开源多模态模型,975B 总参数/41B 激活,Apache 2.0 许可,支持 1M 上下文窗口。
OpenAI 构建 LLM 超级黑客 GPT-Red,用于自动化红队测试,帮助其他模型提升对网络攻击的防御能力。
综述论文《Self-Improvements in Modern Agentic Systems》系统梳理了自改进 agent 如何将经验转化为能力增益。
开发与开源
微软开源经典 IRC 聊天客户端 Microsoft Comic Chat,该软件曾让 Comic Sans 字体首次走向大众。
评论区普遍对微软开源 Comic Chat 表示怀旧和兴奋,认为它是互联网历史的一部分,但也有人认为其扩展的 IRC 协议曾遭诟病。
Roc 编译器团队分享从 Rust 到 Zig 重写 30 万行代码的经验,已达成功能对等,Zig 增量编译快但安全性和稳定性仍存疑。
多数评论认可Zig增量编译快,但担忧其安全性不足和预1.0状态不稳定;也有人认为语言选择应因项目而异。
Leaves 是一个文本界面的磁盘使用树图可视化工具,灵感来自 WinDirStat,适用于远程服务器环境。
DoorDash 推出命令行工具 dd-cli,允许开发者和 AI agent 从终端搜索商店、构建购物车并下单。
LM Studio 发布 Bionic,一个专为开放模型设计的 AI agent,支持本地运行或云端开源模型,承诺零数据保留。
社区热议
开发者反思:尽管认同 LLM 批评者的许多观点,但仍大量使用 LLM,社区普遍认可其实用价值但担忧技能退化和信任问题。
用户普遍认同LLM的实用价值,但也担忧其导致技能退化、信任问题和伦理风险。
博客展示用传统机器学习模型检测 LLM 生成文本,单句准确率约 85%,评论区多数认为检测不可行或意义不大。
多数评论认为检测LLM生成文本不可行或意义不大,但也有人认为小模型或特定场景下仍有实用价值。
俄罗斯顶级黑客组织 Sandworm 开始使用 Clickfix 技术攻击乌克兰机构,该技术通过伪造 CAPTCHA 诱使用户在终端执行恶意脚本。
英国警方逮捕两名 Scattered Spider 黑客组织成员,该组织曾入侵伦敦交通系统,两人被判五年半监禁。
更多值得一看(内容池 65 条)
Their verified account. English version just released:
Structured pruning is a hardware-friendly way to compress LLMs, but it is mostly validated on multiple-choice recognition tasks, while the same compressed checkpoints can collapse on the free-form generation that deployment actually requires. Two observations trace this gap. First, greedy pass@1 nearly vanishes after compression, yet pass@k recovers substantially under repeated sampling: useful generations are demoted, not erased. Second, the recoverable regime fails mainly through suffix repeti
As Large Language Models (LLMs) evolve into autonomous agents, the need for unified evaluation infrastructure becomes critical. However, current evaluation pipelines remain highly fragmented and tightly coupled, hindering reproducibility and causing redundant engineering. To address this, we introduce AgentCompass, an open-source, lightweight, and extensible infrastructure for evaluating LLM-based agents. AgentCompass organizes the evaluation process around three independent components, namely B
Cloudflare-native Email Infrastructure for Developers Discussion | Link
The gap is no longer measured in months. Open-weight models are catching up in real time, and Kimi K3 is already performing near Fable level. At this point, open models are not simply following the frontier anymore. They are on the verge of overtaking it. Kimi K3 may be one of the clearest signs yet that the closed-model lead is about to disappear.
We ran the same Qwen3.6-27B locally three ways on one RTX 6000: baseline, MTP, DFlash. The tasks were: quicksort, write a Steam library in JSON, solve a logic puzzle and write a sci-fi story. Outputs: Baseline: 44 tok/s · 1.00x MTP: 65 tok/s · 1.45x · 71% accepted DFlash: 98 tok/s · 2.20x · 30% accepted DFlash drafts 15 tokens in a row, so it flies through repetitive or structured stuff where long runs actually stick, like JSON (152 tok/s, 3.4x). On creative text most of the guesses are wrong, s
We introduce OvisOCR2, a 0.8B document parsing model. OvisOCR2 is designed as an end-to-end parser: given a document page image, it generates a Markdown representation in natural reading order, covering text, formulas, tables, and visual regions. We build a data engine that combines filtered real-document annotations with synthetic pages whose rendered images and Markdown targets are derived from the same HTML source. The training recipe includes supervised fine-tuning, reinforcement learning on
Google says these changes could endanger user privacy and security.
The company endorsed landmark AI transparency laws in California and New York last year, but its head of US state and local policy says they may already be outdated.
With this new update, Google is expanding AI Mode beyond answering questions and into completing tasks across the apps they use regularly.
I ported modern Linux to a ten-year-old HTC QWERTY phone as a handheld terminal. I wrote it up here: You can see the code here: Comments URL: Points: 35 # Comments: 6
为破解具身智能行业发展瓶颈构建了新一代“进化底座”
arXiv:2607.13049v1 Announce Type: new Abstract: Foundation models have given robots a sophisticated brain for complex decision-making, yet deploying that intelligence into a physical platform still demands tedious, expert-driven calibration. This deployment gap, the robot's spinal cord, remains a primary bottleneck to scalable Embodied AI. Hence, we propose SPINE (Scalable Physical Integration with ageNtic Expertise): an agentic framework for systematically debugging and deploying bimanual robot
Exploration is essential for reliable autonomy in multi-agent systems, yet it remains unclear whether large language model (LLM) agents can explore effectively when interacting with one another. We show that modern LLM agents fail to do so, often exhibiting myopic and polarized interaction patterns that lead to suboptimal coordination and increased regret. We formalize this challenge as the Multi-Agent Exploration problem, modeling it as a partially observable stochastic game (POSG) problem in w
Turn company operations into a living map for agents Discussion | Link
Build and hire autonomous AI employees from a single prompt Discussion | Link
Elon Musk's xAI files first lawsuit against Grok user accused of making child sex images.
Coca Cola said dairy production at its Fairlife unit will "remain suspended" in the United States following a hack.
One period tracker app tested by Mozilla was 'squeaky clean,' while another app was seen sharing users' health data with an analytics company, underscoring vast differences in user privacy among these apps.
Google already baked NotebookLM into Gemini, now it's changing the name to reflect the tighter integration
arXiv:2607.13069v1 Announce Type: new Abstract: Large language models produce chain-of-thought (CoT) reasoning that appears logically sound yet may not genuinely depend on its stated premises. We introduce interventional grounding audits, a black-box, step-level test of premise dependency: we intervene on a single premise by substituting its target predicate with a fresh symbol, re-run the model, and check whether each reasoning step's normalized conclusion (canonical predicate form) changes. We
Image guardrails are typically trained and evaluated under a fixed safety policy, implicitly treating safety as an intrinsic property of an image. Real deployments are different: the same image may be allowed in one product, restricted in another, and newly disallowed when a policy boundary changes. We study policy-adaptive image guardrailing, where a model must decide whether an image violates the currently supplied policy and generalize to held-out policy definitions. We introduce PolicyShiftB
Unbelievable to see kimi k3 beat frontier models that were 'too dangerous' for public use.
World Action Models (WAMs) improve robot policy learning by jointly modeling actions and future visual observations, using future scene evolution as dense supervision for physically grounded action generation. However, a common design in existing WAMs is to explicitly generate future videos at inference time, incurring substantial computational overhead and hindering real-time closed-loop deployment. GigaWorld-Policy addresses this issue with an action-centered formulation, where future visual d
Vision Transformers (ViTs) are known to exhibit high-norm patch-token outliers that degrade feature map quality, a problem effectively mitigated by register tokens. As diffusion models increasingly adopt transformer architectures and move toward pixel-space training, they become closer in form to ViTs, raising the question of whether register tokens are also useful for Diffusion Transformers (DiTs). In this work, we show that DiTs differ from ViTs in a key respect: they do not exhibit patch-toke
Cars24 uses OpenAI-powered voice and chat agents to handle 1M+ monthly conversation minutes, recover 12% of lost leads, and bring agentic workflows to teams across the company.
Large language model (LLM) agents are beginning to automate machine learning engineering (MLE) by coupling planning, code execution, debugging, and empirical feedback. Translating this capability to medical imaging remains difficult because each task imposes modality-specific experimentation and strict requirements for validation protocols and prediction artifacts. Here we introduce AMID, an autonomous multi-agent framework for medical imaging model development. AMID first proposes Data-Conditio
AngelSlim/Hy3-GGUF at hugging face (I am not affiliated just testing) I dont really make posts but I wanted to make sure everyone is aware that there is now a 1bit quant of Hy3 and now that models are getting larger I wanted to test how it behaves. Its a normal iq1m quant by compression it takes it down to 89 gigs at the smallest end. And mostly I am testing since model are going to get larger and larger and wanted to see how coherent the smallest version still are. And Im surprised honestly. He
I’m sick of “opt-out” toggles for automatically enabled generative AI features. It’s past time to make “opt in” the default setting for sensitive features.
Netflix says roughly 300 titles on its platform used generative AI, most of which occurred in post-production. The streaming service revealed the news in its second-quarter earnings report released on Thursday, saying it's "increasingly leveraging these tools to deliver higher quality output more quickly and at a lower cost." It also provided some examples of […]
New York Governor Kathy Hochul might have just signed a moratorium on new AI data centers in the state, but she's not against using the technology herself. During an interview with Bloomberg's Odd Lots podcast, Hochul said that her team is using "AI to analyze every single rule, regulation, [and] policy" to check for outdated […]
Today, the European Union ordered Google to give its AI rivals greater access to Android, the open-source operating system that powers billions of devices worldwide. The demand is hardly surprising. It may look like a defeat on paper for Google, which has spent years resisting exactly this kind of access, but it is a regulatory […]
arXiv:2607.13292v1 Announce Type: new Abstract: Autoformalization translates informal natural language into formal, machine-verifiable languages. While most work focuses on individual statements, real formalization efforts are inherently theory-level: they require an entire web of axioms, definitions, and lemmas before target theorems can even be stated. In this position paper, we argue for theory-level autoformalization: formalizing complete theories, including all their inter-dependencies, as
Lila is betting that science, not the internet, is the last untapped source of training data. We went to find out what that actually looks like in a room full of robots.
arXiv:2607.13172v1 Announce Type: new Abstract: We address the problem of safely training an agent policy and deploying a good and safe policy, in settings where the environment dynamics are unknown and no suitable reward function is available. In the context of safety-critical environments, we consider traditional reinforcement learning impractical and resort to the resource of human input. We introduce DROPJ, a human-centred method for both safe training and deployment. We first learn a world
arXiv:2607.13220v1 Announce Type: new Abstract: Most AI-for-science systems focus on scaling a single reasoning process through better models, larger context windows, long-horizon agentic execution, or digital co-scientists working with one principal user. However, challenging scientific problems are rarely solved by one reasoner alone. They are solved by teams whose members bring different priors, experimental backgrounds, tacit knowledge, and domain-trained intuitions. The open problem is ther
Hierarchical Interest Representation is a research area for Meta Ads. We’re exploring an upstream representation layer over the universe of Ads entities – users, advertisers, products, services – learning unified embeddings that connect users’ inferred interests with the breadth of what advertisers offer in their deep funnel ads. The innovations in Hierarchical Interest Representation are [...] Read More... The post Exploring Hierarchical Interest Representation For Meta Ads Deep Funnel Optimiza
Empty your backlog. Pay only when it ships Discussion | Link
I’ve always had this idea but can’t prove it. I think Anthropic and OpenAI don’t really have any secret sauce, their moat is just scale. Rumor has it Opus has 5T parameters and Mythos/Fable are 10T parameter models, while open models stayed under 1T for a long time. Only recently was that ceiling broken by DeepSeek V4 and now Kimi K3, and we’ve seen a significant jump in performance as parameter size increased. What do you think?