OpenFrontiers Benchmark for Scientific Problem Solving
October 30, 2026
OpenFrontiers provides a structured corpus of 12,151 research problems and a 200-problem benchmark focused on mathematical scientific rediscovery. The evaluation uses Lean 4 formal statements and an isolated sandbox to grade LLM agents under closed-book and live-web conditions.
HOW THIS AFFECTS YOU
●
researcherYou can use this benchmark to evaluate how close agentic workflows are to true scientific discovery.