@dair_ai: https://x.com/dair_ai/status/2111862720446202052
Summary
DAIR.AI 汇总本周重点 AI 论文,包括 Anthropic/哈佛/QuEra 用 LLM 与验证器协同发现更优量子电路、上海AI实验室等提出的长上下文文档代理框架 LongHarness,以及斯坦福等的潜在空间混合推理代理。
View Cached Full Text
Cached at: 10/19/26, 03:26 PM
🥇Top AI Papers of the Week
1. Quantum Circuit Discovery
Many quantum algorithms rely on a small set of computational primitives, and compiling those primitives into quantum circuits is hard because the computation must be reversible. Researchers from Anthropic, Harvard, and QuEra Computing pair an LLM that proposes circuit designs with an independent evaluator that verifies and scores every candidate.
-
Evolutionary search: The search runs over circuit-generating programs with OpenEvolve, using Claude Mythos 5 to propose architectures and program rewrites. Each search starts from a hand-written task specification and a blank program, and the best designs seed the next round.
-
Verified circuits: The evaluator checks each circuit for correctness before scoring it by Toffoli count and peak qubit count. Every reported gain is a circuit that passed this check.
-
Results: On seven of eight tasks spanning numerical computation, chemistry, optimization, quantum simulation, and number theory, the discovered circuits use fewer Toffoli gates and fewer qubits than the best-known designs, cutting the combined cost by 4.1x to 39x. For a Reed-Solomon decoder, the search switched to the Berlekamp-Massey recurrence and lowered the Toffoli count from 5.1 million to 440,000.
-
Why it matters: On the eighth task, the search found a new reversible architecture for prime-field modular inversion that makes divsteps, a classical algorithm previously impractical for reversible integer arithmetic, usable and improves the Toffoli-qubit trade-off. The authors suggest that some apparent costs of quantum arithmetic reflect limits of existing reversible constructions rather than of the algorithms themselves.
Paper | Tweet
2. LongHarness
Agents that reason over document collections larger than their context window usually mix retrieved evidence and evolving conclusions into one growing interaction history. Researchers from Shanghai AI Laboratory, Fudan University, and colleagues present LongHarness, a model-agnostic harness for corpora of 100M tokens and more that keeps evidence and conclusions as explicit state.
-
Two failure modes: The authors identify unbounded exploration, where retrieval keeps expanding the history without closing the relevant information gap, and evidence-state drift, where earlier evidence or later corrections stop reaching the current conclusion.
-
Evidence-Conclusion Coevolution: Open conclusions decide what to retrieve next, and each new piece of evidence strengthens or revises the conclusions that asked for it. An evidence lifecycle step keeps accumulated evidence current and traceable throughout the interaction.
-
Same model, much higher scores: With GLM-5.3-Flash, exact match on OfficeQA Pro rises from 15.8% to 60.2% on V1 and from 4.4% to 61.1% on V2 compared with direct reasoning. LongHarness beats Claude Code by 12.0 points on V1 and Codex by 18.9 points on V2, and Qwen3.8-Flash reaches 61.7% on V1.
-
Why it matters: The gains come from the harness, with the backbone held fixed. Teams building agents for long-context work over large internal corpora can get large improvements by managing evidence explicitly instead of relying on a growing chat history.
Paper | Tweet
3. Hybrid Reasoning Agents
Today’s LLM agents write out every reasoning step as text before they search, run code, or take an action, and those steps cost tokens and time. Researchers from Stanford, Together AI, and colleagues introduce Hybrid Reasoning Agents, which reason internally in latent space and switch to text only to call a tool or give an answer.
-
HybridLink: A lightweight module moves the model between latent and text modes within a single generation process. A continuous working memory keeps both kinds of context across turns, tool calls stay in plain text, and the latent steps can still be inspected.
-
Two-stage training: HybridSFT first teaches the backbone to work with HybridLink during tool-integrated generation. HybridRL then teaches the model when to think in latent space and when to act through text.
-
Results: Across 3 model scales and 11 benchmarks in math, science, medicine, search, and agentic reasoning, it improves over frontier LLM agents and agentic frameworks, both text-based and latent, by 10.4% on average. The 14B model beats the strongest agentic baseline by 17.4% on agentic reasoning tasks.
-
Why it matters: The agents use 35.5% to 54.7% fewer tokens, run 1.8x to 2.6x faster, and cost 2.7x to 3.7x less. Researchers have mostly studied latent reasoning without tools, and this work shows how to combine its efficiency with standard tool use.
Paper | Tweet
4. Harness^2
Recursive self-improvement of agent harnesses usually depends on a verifier, and open-world tasks are new at test time, so no ground-truth checker exists. Researchers from Google Cloud AI Research and Northwestern University introduce Harness^2, a plug-and-play framework that improves the harness at test time through two connected levels of recursion.
-
Task-level recursion: A contrastive Propose-Probe-Compose step proposes several edits to the harness for the current task, tests them against each other, and keeps the combination that works best. This guides edits reliably without a ground-truth verifier.
-
Harnessing-level recursion: Lessons from those edits update a second, continual improvement harness that the agent carries to future tasks, so improvements carry over instead of staying task-specific.
-
Results: A single step improves GLM-5 and Gemini 3.5 Flash over their base harnesses in every configuration tested, with gains of up to 11.5 points on WorkBuddy-Bench, 4.5 points on JobBench, and 11.8 points on LAB. Running five candidate edits in parallel adds another 2.9 to 3.9 points on WorkBuddy-Bench.
-
Why it matters: ReasoningBank, a memory baseline, fell up to 6.6 points below the base harness on coding tasks in the same comparison. For teams evolving their own harnesses, the paper shows that test-time harness edits can scale with more recursion budget even when no verifier is available.
Paper | Tweet
5. Scaling Discovery Requires Forgetting
Automated research with coding agents can now run for days on a single problem, yet the search often stops improving early. Researchers from UC Berkeley, Stanford, and Bespoke Labs show that the fix is to make the agents forget.
-
The plateau: Letting one agent iterate longer, running agents in parallel, and letting parallel agents share candidates all plateau as history accumulates. Each agent anchors on its own past attempts and makes fewer, smaller edits, so extra budget yields little improvement.
-
Forgetting: The method periodically discards every agent’s session and the candidate history, then restarts the team from the best candidate found so far. The authors implement this in a team of communicating agents.
-
Results: Across four tasks in heuristic programming, kernel optimization, and model training, forgetting gives up to 15% over parallel agents and up to 39% over a single agent with the same budget. On Anthropic’s VLIW kernel take-home, the team with forgetting reaches 1,077 cycles, against 1,172 for four parallel agents and 1,262 for one agent.
-
Why it matters: Most research-agent designs try to keep as much history as possible. This paper suggests that, for open-ended discovery, what an agent can remember matters as much as how much compute it gets.
Paper | Tweet
6. ReHarness
Agent memory harnesses usually only write forward, so a lesson goes into the bank and is never checked against whether it helped. Researchers at MIT, Meta, and Yale propose ReHarness, a recurrent harness for agentic continual learning that adds backward revision to the usual forward read-and-write.
-
Backward revision: After each task, ReHarness uses the finished trajectory as feedback on the specific reflections it retrieved and rewrites them. Feedback flows backward through the textual harness state, much like a recurrent update.
-
Strictly online: The method runs under a streaming protocol with no replay buffer or validation set. Add and delete operations alone keep a reflection bank tidy but ignore downstream outcomes, while ReHarness corrects lessons based on how they performed.
-
Results: Across three continual-learning benchmarks with 16 tasks and three backbones, ReHarness beats raw-context, memory, reflection, and prompt-optimization baselines. The gains stay significant after multiple-comparison correction.
-
Why it matters: Agents running over long interaction streams face distribution shifts, and stored lessons can become overgeneralized or outdated. The analysis shows that ReHarness produces source-grounded revisions that fix such lessons and improve both stability and plasticity.
Paper | Tweet
7. The Agentic Scientist
Fully autonomous research agents tend to have a narrow range of ideas and hill-climb myopically. Researchers from Sakana AI introduce The Agentic Scientist, an end-to-end distributed pipeline that lets human researchers run computational research alongside modern coding agents.
-
Staged pipeline: The system splits a project into task drafting, ideation, planning, sandboxed experiments, baselines and ablations, analysis, and report writing. Each stage runs on a coding agent that verifies its own work.
-
Meta-controller: A controller manages many research agents in parallel and checks every stage against a rubric. The same orchestration layer can be reused across domains with different execution environments, coding harnesses, and evaluation metrics.
-
Accepted paper: As a co-scientist, a development version of the system helped write a paper accepted at ALIFE 2026 as a main-conference talk, after human verification and edits. The system can also run fully autonomously, and the authors apply it to open machine learning problems across several domains of computational research.
-
Why it matters: The ablations show that reliable scientific autonomy depends on both the cross-agent orchestration layer and the base model. It is a useful reference for anyone building multi-agent systems around coding agents.
Paper | Tweet
8. GitSwarm
Researchers at Meta Superintelligence Labs and colleagues built GitSwarm, where hundreds of asynchronous agents share one Git repository, and each contribution is a commit that records which earlier commits, on any branch, it builds on, with no central planner assigning work. With GPT-5.5 Codex workers, it solves all 30 IMOProofBench-Advanced problems in one run and scores 79.4% on ProgramBench, up from 73.1% at 100 workers to 79.4% at 500, compared with 65.1% for a single Codex agent at a similar budget. Later workers build on 94.7% of published contributions, and later accepted work cites 70.1% of failed research commits.
Paper | Tweet
9. LoGRA
NVIDIA researchers present LoGRA, an RL post-training method that updates all of a model’s weights while using less memory than LoRA by compressing each weight gradient into a low-rank sketch redrawn every step and adding predicted-KL step control to keep updates within budget. At 1.5B, it averages 7.2 GiB of training memory versus 13.2 GiB for rank-256 LoRA with similar Pass@4, and at 7B it cuts average training memory per GPU by 45.7% while keeping peak accuracy close to dense Adam. It also trains a 27B model for more than 1,100 steps on a single eight-GPU node, where dense Adam runs out of memory.
Paper | Tweet
10. AutoEnvScaling
Researchers from Microsoft and collaborators hand RL environment design to a proposer agent that works in a terminal, studies the rollouts of the model being trained, and builds new environments from them, with each round of rollouts guiding the next. Building environments in a terminal increases the share of valid environments by up to 25x over prompt-only generation, at up to 75% lower cost per valid environment. With Qwen3.6-35B-A3B acting as both proposer and solver, Terminal-Bench 2.1 rises from 41.1 to 53.3, and the pipeline also generates environments for software engineering, computer use, and GPU kernel work.
Paper | Tweet
Similar Articles
@dair_ai: The Top AI Papers of the Week (Oct 26 - Nov 1): - HarnessMM - DecisionRAG - Unified Training - Agentic Backdoors - Embe…
DAIR.AI发布了本周(10月26日至11月1日)热门AI论文精选,涵盖HarnessMM、DecisionRAG、Unified Training、Agentic Backdoors、EmbeddingGemma 2等研究方向。
@dair_ai: https://x.com/dair_ai/status/2053495521243799717
DAIR AI's weekly roundup highlights top research papers including HeavySkill, which improves model performance via internalized parallel reasoning, and Sakana AI's Conductor, which uses RL to optimize agent orchestration. It also covers Meta FAIR's work on self-improving pretraining.
@dair_ai: https://x.com/dair_ai/status/2058537927823556668
A roundup of the top AI papers of the week (May 18-24) covering a survey on code-as-harness for agents, OpenAI's autonomous resolution of the unit distance conjecture, and a memory model for continual learning without forgetting.
@dair_ai: https://x.com/dair_ai/status/2104263416252625124
This weekly article summarizes top AI research papers, including HySparse2 for efficient long-context attention, SIFT for cost-effective self-improvement in coding agents, and GAVEL for enhancing robot planning with graph-based world models.
@dair_ai: https://x.com/dair_ai/status/2056018543850754283
A roundup of the top AI papers from May 11-17, covering Lighthouse Attention for long-context pretraining, a comparison of grep vs embedding retrieval for coding agents, and mechanistic interpretability work revealing a geometric calculator in LLMs.