Jones Ray

ScholarPulse 日报 2026-08-24

2026-08-24 学术简报：2 篇。生成式AI使机器验证不仅经济而且对生产力必不可少，成为安全指导自主机器工作的关键。

今日速览

序号标题来源日期主题推荐等级
1AI with Authority, from Application to SiliconarXiv2026-08-21AI-Agent高
2Asymmetric Capacity Allocation in Self-Refinement PipelinesarXiv2026-08-21AI-Agent高

重点论文与技术动态

1. AI with Authority, from Application to Silicon

一句话结论

生成式AI使机器验证不仅经济而且对生产力必不可少，成为安全指导自主机器工作的关键。

核心内容

方法与数据

价值判断

摘要 For sixty years, machine verification has been a major cost overhead, affordable only for exceptional artifacts. Here we report that generative AI inverts this relationship: at AI speed, machine verification is not only economical but essential to productivity --- it is the incorruptible referee that lets one person safely direct autonomous machine work at scale. In five weeks, one researcher on consumer AI subscriptions directed a small fleet of AI agents from application code, through a verified compiler and executive, to a RISC-V processor taped out on a community silicon shuttle; no proof passed through human review, and no RTL was written by a human. The working discipline --- the Salt method --- rests on a proof kernel no hallucinated proof can pass: mathematical claims travel between agents as kernel-checked artifacts, and human attention is reserved for statements, designs, and rulings. Verification is stated link by link, from the Lean 4 kernel to SAT-checked equivalence at the silicon boundary. We publish the complete accounting: theorem provenance, a pre-registered token meter, floor-bounded human time, and an error ledger whose catch numbering runs to #256 --- a monotone counter over the mathematics campaign's append-only flags ledger, maintained 2026-07-07 to 2026-07-20 (one number, #79, was never assigned; later catches are recorded un-numbered) --- against zero incorrect proofs reaching the record.

2. Asymmetric Capacity Allocation in Self-Refinement Pipelines

一句话结论

模型容量不应在自精炼流水线中均匀分配，不同阶段应根据其认知需求分配不同规模，为高效多阶段语言模型系统设计提供实用指导。

核心内容

方法与数据

价值判断

摘要 Self-refinement, typically structured as generation, critique, and revision, is a widely adopted paradigm for improving LLM generation and serves as a core mechanism in many LLM agents. While the three stages involve different cognitive demands, most existing approaches conveniently treat the model size as an implementation detail rather than a subject of study, which may lead to a waste of resources. Little work has systematically examined how model size affects each stage or whether effective self-refinement requires equally capable models for generation, critique, and revision. We present the first stage-wise model size study of the self-refinement pipeline on 5 benchmarks from different domains using 6 model sizes of Qwen3 and 4 model sizes of Gemma 3. We conclude that larger generators and refiners generally improve the pipeline, whereas an undersized refiner can even harm performance. Second, performance is highly insensitive to the size of the critic, although including even a small critic consistently outperforms omitting critique altogether. Our findings demonstrate that model capacity should not be allocated uniformly across self-refinement pipelines. Instead, different stages exhibit distinct size scaling characteristics, providing practical guidance for designing more computationally efficient multi-stage language model systems.