DawnSift
订阅日报
周五 · 科技日报 · 第 61 期

2026-09-11

— DeepSeek 又出招,OpenAI 忙着把 Codex 变成 API,今天属于 agent 基础设施。

今日 TL;DR

DeepSeek 发布 V4.1 Flash,552B 参数、1M 上下文、KV 缓存压缩到 890 字节/token,开源权重 MIT 协议。OpenAI 将 Codex 背后的 harness 以 Agents API 公开测试,开发者可托管长时运行 agent。Shopify 宣布从 React Native 回归 Swift 和 Kotlin,理由是 LLM 大幅降低了双端原生开发成本。

Market crash as a service

头条

1

DeepSeek 发布 V4.1 Flash:552B 参数、1M 上下文、KV 缓存仅 890 字节/token多源事件 ×4

DeepSeek-V4.1-Flash 是一个多模态 MoE 模型,552B 主干参数加 196B Engram 参数,支持 1M token 上下文,prefill 时每 token 激活 8B 参数、decode 时 16B。全局 KV 缓存占用 890 字节/token,约为 V4-Flash 的 1/4、V1 的 1/437。权重以 MIT 协议开源,vLLM、SGLang、Transformers 均已支持。 为什么重要:KV 缓存压缩直接降低长上下文 agent 的 HBM/SSD 压力与推理成本,对输入密集型工作负载是实打实的架构级优化。

评论区盛赞性能与架构创新,但也有人认为模型体积翻倍、价格大涨,已不太适合本地运行。

2

OpenAI 发布 Agents API 公开测试版,将 Codex harness 作为托管服务开放多源事件 ×3

Agents API 让开发者通过一次 API 调用使用驱动 Codex 的同一套 harness 与基础设施,OpenAI 托管会话、编排、上下文压缩与恢复,agent 可在 OpenAI 管理的沙箱、自有基础设施或合作沙箱中运行。数据仅限美国境内,不支持 Zero Data Retention。 为什么重要:长时运行 agent 的编排、上下文管理与故障恢复一直是自建痛点,托管化后开发者可以更专注于工具与执行环境设计。

3

Shopify 从 React Native 回归 Swift 和 Kotlin,LLM 改变跨平台成本等式

Shopify 宣布放弃 2020 年起全面投入的 React Native,移动应用回归 Swift 与 Kotlin 原生开发。官方给出的核心理由是编码模型能力大幅提升后,同一功能用双端原生语言实现的成本已不再像过去那样高昂。 为什么重要:LLM 正在改变技术选型的底层假设——当 AI 能高效生成原生代码时,跨平台框架的单一代码库优势被削弱,原生体验与平台集成重新变得划算。

多数人认为回归原生合理,LLM 降低了双端开发成本;但也有人认为论证不足,需时间验证。

4

Cognition 发布 SWE-2 编码模型,FrontierCode 1.1 Main 达 50.0%

SWE-2 在 FrontierCode 1.1 Main1 上取得 50.0%,与 Fable 5.1 相差不到一个百分点,同时便宜 64%。Cognition 首次将 RL 扩展到数万亿参数规模,单个训练运行覆盖所有推理努力级别。 为什么重要:编码模型的能力/成本 Pareto 前沿被继续推进,SWE-2 以 GPT-6 Astra 四分之一的成本逼近其分数,对软件工程 agent 的落地成本有直接影响。

5

Rust 成为微软一级语言,与 C++、C#、TypeScript 并列

微软正式将 Rust 列为内部开发的一级支持语言,提供从本地开发到生产的安全工具链构建、开发者工具、质量工作流与深度平台集成。此前 Azure CTO Mark Russinovich 已多次强调 Rust 对微软原生代码战略的重要性。 为什么重要:一级语言地位意味着内部团队获得完整的工程路径支持,Rust 在大型企业基础设施中的采用门槛进一步降低。

多数人认可这是重要进展,但也有人认为 Visual Studio 调试支持仍缺失,且微软过往记录令人存疑。

每天早晨,一份为你精选的科技日报

网页看大盘,订阅拿专属:AI 按你的兴趣为你精选、可汇入你的私有 RSS,附社区观点——每天早晨直达邮箱,永久免费。

已发布 61 期 · 每天筛过 150+ 条只留值得读的 30 条

AI 动态

Show-Harness: Just a VLM Agent Can Play Robots

Show-Harness 通过离散语义动作单元让 VLM 直接控制机器人,支持零样本与高效微调部署。

🤖Show-Harness links vision-language models to robot control via discrete semantic actions interpreted by embodiment-specific modules, enabling zero-shot and efficient fine-tuned deployment across robots and GUIs.

AgentGrad: Intervention-guided Prompt Optimization for Multi Agent Systems

AgentGrad 通过顺序干预定位目标 agent 并对梯度做语义聚类,改进多 agent 系统的 prompt 优化。

🤖AgentGrad improves multi-agent prompt optimization by identifying target agents through sequential intervention and clustering gradients semantically to avoid mixing unrelated errors.

Programmable World Model

Programmable World Model 将世界状态演化与视频生成解耦,用可执行规则和 3D 包围盒维持持久可控环境。

🤖A programmable world model separates explicit state evolution from video generation using executable rules and 3D bounding boxes to maintain persistent, controllable environments.

开发与开源

社区热议

Tell HN: OpenAI keeps re-enabling the 'allow training' setting

用户报告 OpenAI 多次自动重新开启「允许训练」设置,多数人怀疑是故意行为,部分人称设置一直保持关闭。

多数人怀疑OpenAI故意重置训练开关,认为其不可信,但也有人认为只是bug或用户误操作,且部分人称设置一直保持关闭。

GitHub Trending

Star ayghri / i-have-adhd A skill to stop your coding agent from burying the answer. ADHD-friendly output.

Star bilawalsidhu / gods-eye-view A spy satellite simulator in your browser, except the data is real. Live open source spatial intelligence on a photorealistic 3D globe.

Sponsor Star obra / superpowers An agentic skills framework & software development methodology that works.

Star alsk1992 / CloddsBot Open Source AI trading agent that operates autonomously across 1000+ markets - Polymarket, Kalshi, Binance, Hyperliquid, Solana DEXs, 5 EVM chains. Scans for edge, executes instantly, manages risk while you sleep. Agent commerce protocol for machine-to-machine payments. Self-hosted. Built on Claude.

Sponsor Star AlexsJones / llmfit Hundreds of models & providers. One command to find what runs on your hardware.

Star cathrynlavery / diagram-design 38 editorial diagram types for Claude Code, Codex, and Pi. Self-contained HTML + SVG. No shadows. No Mermaid slop.

Star freestylefly / awesome-gpt-image-2 Prompt as Code | GPT Image 2 / 2.5 提示词与案例库,530+ 个案例、20+ 套工业级模板与可复用 Skills,新增 2.5 同提示词对比专区,附完整提示词与生成记录,持续更新。

更多值得一看(内容池 67 条)
DeepSeek V4.1 Flash: Stronger, Faster, More Accessible

Original Source from DeepSeek WeChat Official Account: Today we're officially releasing the DeepSeek V4.1 Flash model. It is the smallest model in our brand-new model architecture series, with native multimodal visual understanding. The new architecture was designed with these goals in mind: a higher capability ceiling, faster inference, greater throughput, and scalability to larger-parameter models. Asymmetric architecture: big intelligence at low cost DeepSeek V4.1 Flash is a 552B-parameter Mo

Hey y'all! We've released a new model in our lineup: GigaChat-3.5 Reasoning. It's a 432B-A28B MoE with Gated DeltaNet for long-context efficiency. We trained domain experts (code, math, general, etc.) with CISPO and then distilled them into a single model via on-policy distillation. In our evals the resulting model lands close to DeepSeek V4 Flash Preview while using 37% fewer tokens in its reasoning traces. Weights are on Hugging Face under MIT: . You can also try it at giga.chat — pick the rea

CyberTiel 35B-A3B’s uncensored 4-bit quant beats Opus 4.6 medium cleanly on real codebase issues, in 27% of the time Qwen3.8-27b medium takes.

The downside of uncensoring a model is that it is known to potentially damage it, but CyberTiel is an even more capable software engineer than its censored TielCoder base, while allowing offensive security research. This was achieved by quantizing with an improved imatrix, baked from a curated corpus of cybersecurity- and agentic software engineering work. In short, the small damage from abliteration on a full precision model is negligible under Q4 quantization, and the weights that the model ne

Powering AI is an architecture problem

On July 22, 2026, a transmission line fault in Ashburn, Virginia—the heart of the world’s largest data center cluster—knocked more than 3 gigawatts of load off the grid in seconds. And it wasn’t the first time. Two years earlier, a single failed surge arrester dropped roughly 60 Virginia facilities and 1,500 megawatts at once. No…

Multi-Agent Agentic Graph Learning via Structural Signatures

arXiv:2609.09565v1 Announce Type: new Abstract: Agentic graph learning (AGL) has recently achieved promising results on graph reasoning tasks, where an agent powered by a large language model (LLM) sequentially samples the graph as evidence to support its final prediction. Existing methods either employ a single agent or orchestrate multiple role-based agents to reason and learn over the entire graph, but both essentially rely on a shared reasoning policy across different graph regions, which ca

The Menu Is an Execution Prior: State-Path Tool Menus for Online Agents

arXiv:2609.09395v1 Announce Type: new Abstract: Language models act through tools, yet practical agents face libraries containing thousands of interfaces. We introduce the tool menu as the short, ordered subset of available tools shown to an agent before execution. The agent can call only tools in this menu. Multi-step tasks require the final action and the prerequisite tools that create its inputs in a usable order. Current constructors rank tools by request relevance, which can surface the fin

SAEScientist-Bench: Can AI Agents Conduct Autonomous SAE Interpretability Research?

While research on recursive self-improvement (RSI) has predominantly automated model training pipelines, reliable autonomous development demands a missing pillar: post-hoc monitoring and auditing to understand what models learn and ensure safe alignment. Mechanistic interpretability tools are essential to bridge this gap, among which Sparse Autoencoders (SAEs) serve as a cornerstone by isolating interpretable features for model inspection and steering. In this paper, we introduce SAEScientist-Be

Recognition-Refusal Misalignment in LLMs: Why Models Answer Structurally Unanswerable Questions

Large language models often answer structurally unanswerable questions, such as computing cot(-540°) or evaluating (1).startswith("1"), instead of abstaining. We ask whether this failure reflects missing recognition or failed routing from recognition to abstention. Across instruction-tuned models from 1.7B to 70B parameters, a single linear direction in the hidden state separates answerable from structurally impossible math and code prompts, showing that models represent impossibility before gen

Scores Alone Do Not Prove Discovery: The Discovery Certification Protocol for Auditing AI Research Agents

AI research agents combine prior knowledge, public sources, and experimental feedback to produce useful results. The Discovery Certification Protocol (DCP) turns claims about these results into executable recovery and feedback tests. Gate 1 validates useful improvement on sealed evaluation. Gate 2 gives matched agents the registered starting information and observed Web content while withholding the target research history. Every valid method reaching the numerical target supplies a recovery wit

Deepseek V4.1 Flash is 748B, not 552B

People keep on getting confused about this, so I looked at the safetensors on hf. The title should have been "Deepseek V4.1 Flash is 748B total/552B base, not 284B or 305B or 485B or 522B" The model is not 284B. The original Deepseek V4 Flash is 284B, but not the V4.1 Flash model The model is not 305B, despite what some people claim "So: ~305B real backbone + 203B engram = 508B total" This is incorrect. The model is not 485B, even though Huggingface lists the model as 485B, but that's because th

Quoting Calif Research

Today, we're releasing a demo of WeWorm, the first zero-click worm to spread through WeChat calls across iOS and Android. [...] The victim does not need to answer the call, or interact with their phone at all. Even if they do answer, they hear nothing, and the exploit still succeeds. [...] Working with AI, our team found the bug and wrote the first remote code execution (RCE) exploit in about two days. Building the worm took one more week. A worm at this scale used to be the kind of thing that t

OUI-1: a model that generates bespoke UI elements

so i saw that openui.com released OUI-1, a model fine-tuned on DiffusionGemma. the training dataset uses OpenUI-Lang, a custom DSL (domain-specific language), instead of plain HTML, Markdown, or React code. what makes it interesting is that you can already get a regular LLM to use OpenUI-Lang through a system prompt, but that eats up a lot of the context window. my thinking is that fine-tuning a model on the DSL could reduce that overhead and leave more room for the actual conversation, without

Pi Agent Users - Nvidia Released Sol-Pi - A Pi-Extension based on AutoResearch loops to make the Harness more efficient

Github Repo. Blog post. 💡 TL;DR (from the Github Readme) Spend less without making the agent do less useful work. SoL-Pi is a standalone extension for Pi that packages four reusable efficiency mechanisms discovered through scaled auto-research loops. It reduces repeated model turns, context replay, oversized observations, and unnecessary long-log reading while preserving the work and evidence an agent needs to finish a task. SoL-Pi installs on top of an unmodified Pi release. Every mechanism is

VDiff-Bench: A Challenging Benchmark for Fine-Grained Image Difference Identification

Multimodal Large Language Models (MLLMs) perform strongly on general visual understanding tasks such as visual question answering, yet they often struggle with a basic comparative skill: identifying what has changed between two similar images. We introduce VDiff-Bench, a challenging multiple-choice benchmark for fine-grained Image Difference Identification. VDiff-Bench contains 1,756 four-way questions over image pairs and covers 10 change categories: position, motion, regional image color, over

OpenDiscoveryTrace: Process Traces for Evaluating AI Scientist Workflows

arXiv:2609.09203v1 Announce Type: new Abstract: Existing benchmarks for autonomous AI scientists evaluate only final outputs---generated code, hypotheses, or papers---yet discard the reasoning process by which those outputs were obtained. This makes it impossible to audit scientific methodology, diagnose failure modes, or distinguish systematic reasoning from fortunate guessing. We present \textbf{OpenDiscoveryTrace}, a public dataset of 558 complete AI scientific agent trajectories that capture

What Did I Just Say? Self-Listening for Full-Duplex Speech Models

Full-duplex spoken language models can listen and speak simultaneously, enabling them to handle interruptions and backchannels in human conversation. However, text generation, speech synthesis, and audio playback proceed asynchronously. As a result, what a model believes it has said may not match what has actually been played to the user. We refer to the problem of recovering from an interruption while remaining aware of the model's realized speech as anchor interruption. To address this problem

DeepSeek-V4.1-Flash surprised ....

Hoping to see smartest medium size models soon & later with all available optimizations/architectures/etc.,. Thanks Deepseek! Ex 1: 30-50B MOE + 10-15B Engram + DeepSeek-V4.1-Flash type KVCache Ex 2: 15-30B Dense + 10-15B Engram + DeepSeek-V4.1-Flash type KVCache EDIT : Updated Engram to 10-15B from 50B

LandingAI Releases Agentic Document Extraction Gen2 with DPT-3 Pro and DPT-3 Verity

LandingAI has shipped Agentic Document Extraction Gen2, a rebuild of its document stack on the DPT-3 model family. Chunks are retired in favor of a document, page and block tree. DPT-3 Pro grounds to the line, DPT-3 Verity grounds to the word with a confidence score, and Parse billing now counts output characters instead of flat pages. Gen1 code will not run against Gen2 endpoints. The post LandingAI Releases Agentic Document Extraction Gen2 with DPT-3 Pro and DPT-3 Verity appeared first on Mark

SQS: Bayesian DNN Compression through Sparse Quantized Sub-distributions

Compressing large-scale neural networks is essential for deploying models on resource-constrained devices. Most existing methods adopt weight pruning or low-bit quantization individually, often resulting in suboptimal compression rates to preserve acceptable performance drops. We introduce a unified framework for simultaneous pruning and low-bit quantization via Bayesian variational learning (\method), which achieves higher compression rates than prior baselines while maintaining comparable perf

Encoded Early, Used Late: Where Transformers Begin to Act on an Inferred Partner's Expertise

A transformer can make an attribute linearly decodable in its residual stream at a depth where that attribute does not yet influence the output. This gap between where information is readable and where it is used has been shown for attributes stated directly in the input. We ask whether it also holds for an attribute the model must infer gradually over a conversation, namely how expert its dialogue partner is. Using ExpertCollab, a corpus of multi-turn research-planning dialogues between model-p

SyncWorld: Visual Calibration Enables World Models as Zero-Shot Simulators

World models are increasingly used as policy-in-the-loop imagination environments, where reliable rollouts require fine-grained controllability with respect to low-level robot actions. A key obstacle to scaling such models in robotics is that actions are not a universal language in pixel space: changes in visual environment, camera view, robot placement, or embodiment alter how the same numerical action manifests visually, leading to conflicting supervision under mixed training and brittle gener

Is AI Actually Going to Kill Us All?

This week on “Uncanny Valley,” we dig into a former Anthropic researcher’s AI doomsday warning, the latest upgrades from Apple’s event, and the census report that claimed Trump won the 2020 election.

Slack can now vibe-code interactive charts and reports inside chats

A new feature coming to Slack will allow you to build interactive reports, polls, dashboards, presentations, microsites, and other tools directly inside a chat. With Slackforce Surfaces, you can describe to Slackbot what you need, and it will use AI to gather information from relevant conversations and connected apps, like Google Drive or Salesforce, to […]

Native is now the future of mobile at Shopify

Native is now the future of mobile at Shopify Shopify are moving from React Native back to separate Swift and Kotlin codebases for their native apps, for the exact reason you would expect: We decided to switch from native to React Native in 2020 for three reasons: Stop building the same features twice Allow developers to work across the stack Spend less time chasing feature parity and more time shipping value [...] Native still means building and maintaining software on two platforms, that cost

XAI-Arena: Can LLMs Assess the Quality of XAI Explanations?

arXiv:2609.09428v1 Announce Type: new Abstract: Evaluating the quality of explanations produced by explainable AI (XAI) methods remains challenging because existing approaches often rely on subjective human judgment, limiting reproducibility, scalability, and comparability between studies. We examine whether LLMs can serve as a reproducible and scalable mechanism to make comparative assessments of the quality of XAI explanations. We introduce XAI-Arena, an LLM-as-a-judge framework for scalable,

Meta’s Muse AI works and creeps me out

Meta has launched its new Muse assistant, marking the company's first real foray into AI-powered productivity tools. The company says its AI agent can "take the busywork off your plate" by helping you with online shopping, emails, trip-planning, and more. I decided to try out the new tool and see how well it performed - […]

WearableQA: A Benchmark for Health Reasoning over Real-World Wearable Data

Recent advances in wearable sensing enable continuous monitoring of physiological and behavioral signals, yet existing benchmarks rarely evaluate whether AI systems can reason over a real user's longitudinal wearable record. We introduce WearableQA, a benchmark comprising 4,084 10-option multiple-choice questions constructed from the wearable time series, blood biomarkers, and demographics of 200 real users, each with up to 500 days of daily measurements. WearableQA preserves authentic wearable

CityPlanner: A Sandbox Agent for Executable Urban Planning

arXiv:2609.09578v1 Announce Type: new Abstract: Urban planning is a real-world spatial optimization problem that requires selecting feasible actions from large candidate spaces under practical objectives such as cost and service quality. Existing optimization and reinforcement learning methods are effective for fixed formulations, but often depend on task-specific representations and constraint handling. We propose \emph{CityPlanner}, a sandbox-agent framework for executable urban planning. City

Cadence: Error-Bounded Lossy Compression of Demand Time Series with a Time-Series Foundation Model

We present Cadence, an error-bounded lossy compressor for numeric time series pairing a 330M-parameter time-series foundation model (Google TimesFM-3) with an adaptive arithmetic coder, guaranteeing |x_t-x_t|leτ on every sample. One negative result constrains the design space: for lossless coding a foundation model is worth nothing, because bits saved are logarithmic in predictor accuracy, Δb=log_2(MAE_{old}/MAE_{new}). So the 1.51times advantage TimesFM-3 holds over a 32-tap linear predictor bu

.blend URL Viewer

Tool: .blend URL Viewer I'm continuing to have a lot of fun with GPT-6 Astra and Blender (see my TIL ). As a big fan of the Imperial Fabergé Easter eggs , I've always thought it would be fun to make some new ones that celebrate popular culture. Yesterday I decided to try out the new ChatGPT Images 2.5 by running this prompt : Generate a photo of a faberge egg that's themed after the TV show Pluribus - research first It gave me this - honestly not bad for a first attempt! Then, just to see what w

StudyBench: Can Self-Evolution Squeeze Textbooks for Olympiad Capability?

Humans need to study only a handful of well-written textbooks to master a discipline and attempt its hardest problems. We argue that an ideal self-evolution method should share the same property, that is autonomously learning from raw training material for transferable problem-solving capability. However, we still lack a direct measurement for it. We introduce StudyBench, a controlled physics benchmark that directly measures how efficiently a self-evolution method converts training material into

每天早晨,一份为你精选的科技日报