# Verifier-Driven Research Agents

Research progress increasingly comes from wrapping a fixed, often open-weight model in a generate-evaluate-revise loop against a machine-checkable objective, shifting competitive value from model weights to the search harness and the verifier.

- Conviction: 40 / 100 (forming)
- Horizon: Emerging (watchlist)
- Tracking since: 2026-08-04T00:00:00.000Z
- Last updated: 2026-08-04T06:16:49.912Z
- Canonical: https://polylog.news/ai/trends/recursive-self-improving-research-agents
- Publisher: Polylog
- Affected regions: United States

## Recent evidence

- [confirms] A Self-Refining Agent Takes On OpenFOAM Configuration, One of Engineering's Reliable Time Sinks (2026-08-04): AutoFOAM wraps a self-refinement loop around OpenFOAM, using the solver's own success or failure as the objective. It is the same harness-over-verifier pattern as the Lean and mathematics work, applied to an engineering simulator rather than a proof checker.
- [confirms] OpenAI Publishes Lean-Verified Proofs From Its Astra Model for Ten Long-Open Mathematics Problems (2026-08-04): OpenAI published machine-checkable Lean 4 formalizations for solutions to ten long-open mathematics problems from its Astra model, saying the underlying tokens would cost roughly two thousand dollars at its own API rates. A formal verifier removes the human referee from the loop entirely, which is the precondition for scaling generate-evaluate-revise search to arbitrary compute.

1 more evidence entry, the full score history, the conviction-driver timeline, and affected assets are for subscribers: https://polylog.news/pricing