AutoSR recovers equations across nine challenges

AutoSR recovered algebraically equivalent equations in all nine selected challenges across two symbolic-regression benchmark suites, including three problems no published system had recovered. The research-state paper keeps each candidate’s reasoning, computational evidence, and independent review inside a progressive-widening search rather than retaining only the winning formula. For scientific-AI teams, the useful handoff is not a prettier equation but a durable investigation record; the Faraday replication analysis makes the same judge-and-replication gate explicit for agentic research.