Equation recovery
0%estimated progressWhat we track
Correct models / all held-out benchmark systems, with equivalent forms recognized and noise, missing variables, and budgets specified.
Why this estimate?
The quantified equation-recovery benchmark predates 2022, so it anchors the starting point. This outcome's baseline does not establish a comparable post-anchor increment.
Advancements
- AI Feynman recovers all 100 benchmark physics equationsApril 15, 2020 revised preprint. AI Feynman recovered all 100 equations in its Feynman benchmark, versus 71 for the comparison method.
- Φ-SO symbolic regression enforces physical units to recover textbook equationsMarch 6, 2023. The Φ-SO deep reinforcement learning framework generates only unit-consistent expressions and reports state-of-the-art recovery on Feynman Lectures and other textbook equations when noise exceeds 0.1%, remaining robust at 10% noise.
- LLM-SR uses language models to discover scientific equations as programsApril 29, 2024. LLM-SR combines language-model hypotheses with evolutionary search and, on four benchmark problems designed to limit recitation, found physically accurate equations that outperformed symbolic regression baselines, especially out of domain. ICLR 2025 Oral.
- LLM-SRBench: the best equation-discovery system reaches 31.5% symbolic accuracyApril 14, 2025. On a benchmark of 239 problems across four scientific domains built to prevent memorization, the best-performing system reached only 31.5% symbolic accuracy.
Read the dated findings and sources
Status: Known-law recovery benchmark. Sources accessed November 7, 2026. This is a documentary baseline, not an independent replication or an assertion of the worldwide best result. An unknown measurement is not zero.
Dated findings
April 15, 2020 revised preprint: AI Feynman recovered all 100 equations in its Feynman benchmark, versus 71 for the comparison method. AI Feynman.
Interpretation and tracking value
This historical benchmark is not a current universal success rate under realistic missing variables and noise. Algebraic equivalence and benchmark familiarity matter.
Next comparable measurement
Freeze fresh systems, noise and missing-variable levels; compare equivalent equations under identical time/compute budgets and report all failures. Preserve this dated observation; append future results with their model/system version, denominator, budget and evidence level rather than overwriting it.