DawnSift
订阅日报
周四 · 科技日报 · 第 60 期

2026-09-10

— OpenAI 用 88 小时烧掉 4000 万美元解千年难题,Anthropic 研究员却在这天辞职警告人类。

今日 TL;DR

OpenAI 宣布 GPT-6 Astra 在 88 小时内用约 1 万 agent 和 130B token 找到 Navier-Stokes 奇点,冲击第二个千禧年大奖,但被指学术抢跑。Anthropic 预训练研究员 Jacob Coxon 辞职并公开警告 AI 竞赛失控,引发百万级讨论。DeepSeek 宣布 V4.1 Flash 全面超越 V4 Pro,并计划软退役 Pro 版本。Google 开源 Mantis 安全技能工具包,让 coding agent 完成漏洞全生命周期。

The consensus is that the next year or two is crunch time for humanity.

头条

1

OpenAI 用 Astra-next 在 88 小时内找到 Navier-Stokes 奇点,冲击第二个千禧年大奖

OpenAI 报告称用 Astra-next 在 88 小时内、约 1 万 agent 和 130B token(成本超 4000 万美元)找到 Navier-Stokes 方程奇点,成为第二个千禧年大奖的有力竞争者。为什么重要:这标志着 AI 在数学证明级别的科研任务上从辅助工具跃升为主力,但 The Verge 报道指出 OpenAI 是在得知其他研究者进展后抢跑,引发学术圈对 scooping 和规范破坏的担忧。

Latent Space 认为 OpenAI 的成就是真实的,但过程存在争议;The Verge 则强调学术界担心这种抢跑行为会冷却整个领域。

2

Anthropic 预训练研究员 Jacob Coxon 辞职,警告 AI 竞赛正将人类置于危险之中

Jacob Coxon 在 X 上宣布从 Anthropic 辞职,称在 OpenAI 和 Anthropic 三年预训练研究经历让他确信两家公司都在不负责任地冲向自我改进型超级智能。为什么重要:Coxon 的帖子获得超 1 亿次浏览,他在 WIRED 采访中透露同事间常用 'endgame' 和 'crunch time' 形容未来一两年,这为 AI 安全讨论提供了罕见的内部视角。

HN 评论区普遍认为 AI 竞赛已失控且难以阻止,但也有人认为辞职者言行不一或只是作秀。

3

DeepSeek 宣布 V4.1 Flash 全面超越 V4 Pro,并计划软退役 Pro 版本

DeepSeek 计划于 2026 年 9 月 10 日左右正式发布 V4.1 Flash,官方称其在性能、成本、速度和任务完成时间等所有关键指标上全面超越 V4 Pro。为什么重要:这意味着 DeepSeek 正在用更便宜的 Flash 型号替代旗舰 Pro,同时 Reddit 用户发现 Pro 请求已被自动路由至 Flash,这种软退役策略可能改变 API 用户的成本预期。

HN 评论区普遍期待 V4.1 Flash 的性价比提升,但也有人对 Pro 请求被自动路由至 Flash 及价格调整表示担忧。

4

Google 开源 Mantis:让 coding agent 完成漏洞发现、复现与修补全流程

Google 开源了 Mantis,一个栈无关的安全审查技能工具包,让 AI coding agent 执行完整漏洞生命周期:扫描代码、过滤误报、在沙箱中复现 bug、编写补丁、重新攻击补丁并评分残余风险。为什么重要:Mantis 以 Apache 2.0 发布,可与 Gemini CLI、Antigravity CLI 或 Google ADK 等 agent 框架配合使用,为开发者提供了将安全审查嵌入现有 agent 工作流的模块化方案。

5

GPT-6 Astra 正式发布:OpenAI 称其为工作场景最强模型

OpenAI 正式发布 GPT-6 Astra,在 ChatGPT Work、Codex 和 API 中可用,官方称其在 computer use、浏览、专业工作、软件工程、网络安全和科学任务上达到 state-of-the-art。为什么重要:Astra 采用 looped transformer 架构并传闻隐藏推理链,Sebastian Raschka 的分析指出这种架构虽非全新,但会降低推理过程的可监控性,对依赖 CoT 透明度的开发者有直接影响。

HN 评论区认为循环变压器并非全新机制,但担忧其降低推理可监控性;也有人认为 Astra 实际体验不佳且能力波动。

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

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

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

AI 动态

NeoHorse-1: Towards Recursive Self-Improvement via Agentic Post-Training with Routing Harness

NeoHorse-1 通过 agentic post-training 与智能路由探索递归自我改进(RSI),将用户交互记录转化为保留推理与工具调用上下文的训练样本。

🤖NeoHorse-1 uses agentic post-training with intelligent routing, structured feedback loops, and curriculum-based distillation to improve model capabilities across agent benchmarks.

AuK Technical Report: An Open-Source Foundational Model for Speech Generation and Editing

腾讯混元开源 AuK 语音基础模型,用 30.3 亿条指令-音频实例统一语音生成与编辑,结合多模态 LLM、联合 VAE 与混合 rectified-flow Transformer。

🤖AuK is an open-source foundational model that unifies speech generation and editing via natural-language instructions and audio context, using a multimodal language model, joint VAE, hybrid rectified-flow Transformer, and efficient distillation for fast inference.

Omni Interaction Agent Technical Report

Gander 端到端模型统一全感知、实时交互与 agent 能力,采用 Cerebellum-Brain 架构和 chunk-level token stream 实现全双工流式交互。

🤖Gander is an end-to-end framework that integrates continuous multi-modal streaming, real-time full-duplex interaction, and agentic reasoning through a Cerebellum-Brain architecture and a chunk-level token stream design.

Miles v0.1: Production-Level Post-Training

Miles v0.1 开源生产级 post-training 系统,基于 SGLang rollout 引擎,支持 Megatron-LM 和 PyTorch FSDP 双后端及三种权重同步传输。

🤖Miles is an open-source, production-ready system for large-scale reinforcement learning and post-training that supports diverse backends, weight synchronization, LoRA, distillation, and diffusion models.

BeaconKV: Key-Value Cache Compression Guided by Beacon Queries for Efficient Large Reasoning Model Inference

BeaconKV 用紧凑 beacon query 预测长推理链中将被重新访问的 KV 对,在不损失精度的情况下压缩缓存,缓解 LRM 推理的内存瓶颈。

🤖BeaconKV improves memory efficiency for long reasoning traces by using compact beacon queries to predict which past key-value pairs will be revisited, reducing cache size without sacrificing accuracy.

开发与开源

Desert Ant Labs: local, fast models that run on device

Desert Ant Labs 发布 18 个端侧小模型(12 稳定 + 6 beta),覆盖音频、视觉和文本,通过一个 SDK 支持 Swift、Kotlin 和 JavaScript。

社区热议

Claude, change the “Add to Cart” button to blue

讽刺网站 opusfived.dev 精准戳中 Claude 过度复杂化、擅自加戏的痛点,但也有人认为与自身使用体验不符。

多数人认为该讽刺精准戳中Claude过度复杂化、擅自加戏的痛点,但也有人认为与自身使用体验不符。

How I advertise malicious software on Google Ads

作者演示如何在 Google Ads 上投放恶意软件广告,评论区普遍批评谷歌审核不严、申诉机制形同虚设。

评论区普遍批评谷歌广告审核不严、申诉机制形同虚设,但也有人认为恶意广告者不应获得反馈信息。

Qwen 3.8 follows GPT-5.5 Pro reasoning prefills

实验显示 Qwen 3.8 会跟随 GPT-5.5 Pro 的推理 prefill,在 45 个问题上测量了 teacher 答案在 target 模型前 100 token 中的召回率。

GitHub Trending

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

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

Star pascalorg / editor Open-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.

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-Image2 工业级提示词引擎与模板库,530+ 个案例逆向工程,20+ 套工业级模板,并提炼出Skills,持续更新中

更多值得一看(内容池 58 条)
Online Draft Co-Training for Speculative Decoding in Large-Scale, Long-Context RL Post-Training

Speculative decoding accelerates rollout generation, which dominates the cost of reinforcement learning (RL) post-training. Online co-training can further increase the draft's accuracy, yielding greater speedups. However, scaling this approach to co-training on large models with long contexts poses two obstacles: (1) branch attention is unsupported by standard causal context-parallel (CP) implementations, and (2) target features span across pipeline-parallel (PP) stages. We address both with an

How is the code quality in expensive frontier LLM plans?

I have several years of software experience, following best practices, design patterns, KISS, DRY, BDD, OOP, etc. My code is actually very readable since I worked on many open source projects and heard praise overall, and always had the time for quality control and refactoring. The truth is I haven't worked at a normal company since AI hit so I'm a bit detached currently from the industry. For the last 1 year I've been using the Pro subscription for 20$ on Codex and Claude on my projects, but I

GLM 5.3 Flash Q4 @ 60tps / 550tps on M3 Ultra

I have been a dwarfstar fan for awhile and I really liked glm 5.3 flash but needed it to be materially faster to feel good using it. In the screenshot you can see the outcome of using the model with a claude code harness at ~200k depth, with many tool calls and averaging over 38tps output. Yes, I put 60tps in the headline and you will get that if you ask it to write SQL. Main ds4 was single-stream serially decoding GLM-5.3-Flash at about 59 percent of the M3 Ultra's measured memory bandwidth. We

Kalman Delta Networks: Uncertainty-aware Associative Memory

Linear attention is increasingly used in frontier language models for efficient long-context inference and constant-memory decoding. Its fixed-size recurrent memory, however, requires an online decision at each token: what to write and how strongly to overwrite existing associations before knowing which information future queries will require. Delta-rule models learn this strength from the current token embedding but do not track confidence in the memory estimate, preventing each write from adap

Agentic Visual Generation: From Generative Models to Agentic Control

Visual generation is evolving from generative models used through a single invocation into agentic control processes that can plan, select tools, inspect intermediate synthesized outputs, revise failures, and reuse prior experience. In most existing systems, the controller is an LLM or VLM, while visual generation models serve as tools or executors. However, existing work lacks a consistent criterion for determining when a generation system becomes agentic. Planning depth, tool use, multi-role c

When Does Memory Help? A Cost-Aware Evaluation of Long-Term Memory in Tool-Using LLM Agents

arXiv:2609.05441v1 Announce Type: new Abstract: Long-term memory for LLM agents is evaluated today by conversational recall benchmarks (LoCoMo, LongMemEval), which measure question answering over dialogue history, not whether remembered facts change what a tool-using agent does. We present MERIT (Memory Evaluation for Realistic Instrumented Tasks), a benchmark and harness that measures the marginal utility of memory for task-executing agents under explicit cost accounting. MERIT provides episodi

Meta Introduces Muse, a Personal AI Agent That Runs on Its Own Dedicated Secure Cloud Computer

Today, Meta has introduced Muse, a personal AI agent that takes actions rather than just answering questions. Muse can send emails, book travel, negotiate bills, and pursue long term goals. It keeps working after you close the app and returns only when it needs approval. The bigger story for AI devs is architectural. Each user […] The post Meta Introduces Muse, a Personal AI Agent That Runs on Its Own Dedicated Secure Cloud Computer appeared first on MarkTechPost .

Causal Foundation Models

Causal inference is the practice of estimating the effect of a treatment or intervention from data. It traditionally requires a bespoke pipeline for every new problem: first proposing a causal mechanism, selecting a compatible estimator, and finally training it. Meanwhile, across diverse settings and modalities, much of machine learning has shifted to the paradigm of foundation models: networks pretrained once at scale and applied to new tasks without fine-tuning. Causal foundation models (CFMs)

SCAFFOLD: Self-Improving Web Agents via Recursive Parametric Skill Abstraction

arXiv:2609.05511v1 Announce Type: new Abstract: Web agents need to navigate visually rich, long-horizon interfaces that change across sites, yet most previous agents still learn each task in isolation and discard the procedural knowledge they accumulate. Recent skill-augmented frameworks take an important first step, but they treat the skill library as a flat or two-tier prompt-side cache and offer no principled mechanism for compressing redundancy or composing skills recursively. We introduce \

What LLM Trading Agents Actually Do in Production: A Six-Month, Population-Scale Record from Two Fleets

We present a continuous, population-scale measurement record of autonomous language-model trading agents operating in production across two systems with one design lineage: DX Terminal Pro (3,505 user-funded vaults trading real ETH in Base memecoin markets for 21 days, February to March 2026) and the DXAP live alpha fleet (500 to 599 user-created agents all-history, 91 to 117 concurrently active, trading Hyperliquid perpetuals, June to August 2026). The record spans roughly six months, 7.5M sing

Mention if a "new model" is a finetune

A few posts tagged with "new model" present models that are finetunes. My opinion : I'd rather have the "new model" tag reserved for new "major" releases, like a new Qwen model, Deepseek V4 -> Deepseek V4.1, etc., that involved a new pretrain or intensive post-training (in opposition to a small finetune). Otherwise, maybe prepend "[Finetune]" to the title to indicate that the new model is "less of a big news", a use a "new finetune" tag, to differentiate between the two kinds of new models. I re

I'm going back to coding by hand

I have a successful app I built myself with a solid user base. I had been working on a new version via Claude on and off for about six months In work we use LLMs exclusively. Nobody writes code anymore. It's all hands off and we have a high level understanding of how things work but no more than that. When it comes to my side project, I was adding features at breakneck speed with Claude but I realized I have no clue how the new code works or what it changes or breaks. I spent many years of my li

Control panels banned on client servers, how common is this?

Contract gig, mid-size fintech. Their security team decided any control panel counts as unnecessary attack surface. So no cPanel, no Plesk, nothing with a web UI on prod. Servers get configured by hand over SSH, using a shared root account for the whole team. I run BeAdmin on my own boxes at home. But that's a different world here. Two people editing the same nginx.conf in one week wiped out three days of one guy's changes, and nobody noticed until a client site went down. How common is this? Wh

Read the Apple document explaining how new listening features still protect your privacy

At Wednesday's iPhone Duo launch event, Apple announced a handful of new Siri AI Audio Intelligence features, including Siri Recap, Live Rewind, Sound Recognition, and Music Recognition. Alongside its announcement, Apple released a document laying out how it plans to balance AI "ambient listening" and users' privacy. It says the raw audio from the new […]

Reason Through the Latent! Making Latent Visual Reasoning Necessary

Latent visual reasoning aims to perform multimodal reasoning through hidden-state computation rather than explicit textual chains of thought. However, visual information being present in a latent state does not imply that the model actually relies on that state when producing its answer, especially when alternative image-conditioned paths remain available. We introduce Causal Visual Recurrent Reasoning (CVRR), which preserves pretrained visual competence while making recurrent computation the re

Steering Geometry: Validating Human Value Geometry in LLM Steering Space

As large language models (LLMs) are increasingly deployed in alignment-sensitive contexts, activation steering has emerged as a lightweight, inference-time alternative to fine-tuning methods (e.g., RLHF, DPO) for behavioral control. However, existing work typically validates steering on isolated behaviors, leaving it unclear whether steering vectors encode coherent semantic structure or merely exploit behavior-specific shortcuts. We investigate whether the latent geometry of LLM steering vectors

When and What to Teach: Budget-Aware Online Adaptation for Web Agents

arXiv:2609.05513v1 Announce Type: new Abstract: Web agents have achieved significant success in automating complex internet tasks but deploying them in real-world environments requires continuous online adaptation. Given that deploying powerful proprietary models remains commercially cost-prohibitive, practitioners must rely on lightweight local models that evolve post-deployment via online teaching from a stronger teacher. However, standard interactive feedback imposes prohibitive costs. We sho

CoVeR: Coverage-Based Token Pruning for Multi-View 3D Reasoning in VLMs

Representing a 3D scene as multi-view images allows 2D VLMs to reason in 3D by reusing priors from pre-training, sidestepping the scarcity of annotated 3D data. However, it produces thousands of redundant visual tokens whose cost grows with every view. Existing visual token pruners fall into two families, each limited in the 3D multi-view setting. Learned importance methods rank tokens by attention or encoder features; because redundancy here is fundamentally spatial, they keep near-duplicate to

CriticGen: Generation-Aware Evaluation as Actionable Feedback

arXiv:2609.05439v1 Announce Type: new Abstract: Current evaluation methods for large language models are coarse-grained and decoupled from generation, producing generic explanations that fail to provide actionable feedback for model improvement. We propose CriticGen, a fine-grained, generation-aware evaluation framework that turns evaluation into actionable control for answer improvement. CriticGen first generates sample-specific evaluation dimensions and scoring criteria under high-level catego

SciLitBench: Benchmark and Design Principles for LLM-Powered Systematic Literature Reviews

arXiv:2609.05505v1 Announce Type: new Abstract: Systematic reviews require sustained human judgment across thousands of records, yet existing evaluations of large language models (LLMs) typically examine review stages in isolation. We introduce SciLitBench, a multi-stage benchmark spanning title and abstract screening, full-text screening, and schema-guided data extraction, with 42,981 retrieved records, 1,012 full texts, and annotations for 888 included papers. Across 22 open-weight LLMs from s

AlphaGenome Atlas

Google's AI map of every possible human DNA mutation Discussion | Link

引用陶哲轩Simon Willison1 min研究AI
Quoting Terence Tao

I wrote recently about how the collection of good, fruitful open problems is now being mined in a non-renewable fashion, leading to the potential scenario of these problems becoming scarce. [...] We have now seen that even the rumor of someone working on a problem can trigger a massive amount of AI-powered effort to flatten it before the original research project has time to reach its full potential. The incentives may now be pointing in the direction of no longer sharing any promising research

Ask HN: Anyone still coding like 2021? Where do you work?

I can close an eye on using LLMs for research only. These days I feel I am the only one that hasn’t changed their way of writing software at all. I’d honestly switch careers rather than manage agents. But I’m currently out of work (contract ended) and wondering if there is still a sane place to work, or is it truly time to pivot to another career.

Apple Watch’s new AI features are normalizing the idea that technology is always listening

Apple says its new watches won’t save raw audio, but features that can transcribe recent speech and summarize ambient conversations raise new questions about consent, privacy, and how people behave when they know they could always be recorded.

Mask Forcing: Improving Autoregressive Video Diffusion Distillation via Dual-Noise Masking Rollout

Autoregressive (AR) video diffusion models have shown great potential in real-time video generation. Recent methods distill pretrained bidirectional video diffusion models into causal AR students through Distribution Matching Distillation (DMD), but the generated videos often suffer from over-saturation and over-smoothing issues, resulting in limited visual quality and realism. The key contributing factor is the mode-seeking behavior of the reverse KL objective in DMD, which can cause the studen

Paul Christiano joins OpenAI Foundation Board

Paul Christiano joins the OpenAI Foundation Board and its Safety and Security Committee, bringing experience in AI alignment, safety, and standards.

What OpenAI’s latest controversy tells us about the future of math

OpenAI’s latest mathematical milestone has quickly become mired in controversy. Today, the company announced that its agents have solved one of the Millennium Prize Problems, some of the most important open problems in mathematics. Under normal circumstances, that solution would be a huge feather in OpenAI’s cap. But the announcement has been overshadowed by accusations…

The Download: OpenAI’s turning point for math and a battery record

This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. What OpenAI’s latest controversy tells us about the future of math OpenAI says its agents have solved one of the most important open problems in mathematics. Under normal circumstances, that would…

The AI policy window is open. We need to act.

Chris Lehane argues that stronger AI capabilities require stronger safety evidence, shared standards, and durable policy action while the policy window remains open.

Damage-Aware Bandit Pruning for Vision and Language Transformers

arXiv:2609.05448v1 Announce Type: new Abstract: Structured post-training pruning of transformers requires selecting complete functional units whose suppression causes limited degradation. We formulate structured-unit selection for language and vision transformers as a damage-aware multi-armed bandit problem under a fixed candidate-evaluation budget. Attention heads and MLP channel groups are temporarily masked on calibration batches. Paired damage is the masked loss minus the base loss on the sa

RoboSPA: Can VLA Models Go Beyond Simple Scenes and Short-Horizon Tasks?

Vision-Language-Action (VLA) models have shown promising progress in language-conditioned robotic manipulation. However, existing datasets and benchmarks mainly evaluate task completion under predefined settings, offering limited insight into model reasoning under increasing spatial and procedural complexity. We introduce RoboSPA (Robot Spatial-Procedural Assessment), a large-scale robotic manipulation dataset and benchmark for diagnosing embodied reasoning in VLA models. RoboSPA focuses on two

Beyond "AI Helps Humans": Decision-Targeted Evaluation Design for Human-Agent Teams in the Agentic Era

arXiv:2609.05527v1 Announce Type: new Abstract: Wherever a coding agent works under engineer supervision, or a clinical model assists a radiologist, the deployment question is whether to keep the human-AI workflow or replace it with the human alone or the agent alone. The human-AI workflow is worth keeping only if it beats both of those alternatives. Yet once it is deployed, neither alternative outcome is observed: recovering one means replaying the task under that alternative, and every replay

Teach ML! Community service project from Stanford [N]

Hi r/machinelearning . Nice to meet you! My name is Chris Piech and I'm a professor at Stanford University in the AI lab. I built a class called Probability for AI: pai.stanford.edu. It starts Oct 9th and applications are due end of Sept. Its (hopefully) cool for a few reasons: The plan is to have one volunteer teacher for every 10 students! Apps have been open for a week and over 1,000+ folks have applied to teach. So we might actually be able to make this pretty big. I have built a lot of fun

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