Large language models (LLMs) have shown increasing promise in research-level problem solving, yet a comprehensive collection of such problems is still missing, and evaluating them on research-level pr
OpenFrontiers links a broad corpus of open research problems with a formally graded benchmark of recently resolved mathematics problems to evaluate LLM agents’ ability to rediscover solutions under different information-access conditions.
Large language models (LLMs) have shown increasing promise in research-level problem solving, yet a comprehensive collection of such problems is still missing, and evaluating them on research-level problems remains challenging. We introduce OpenFrontiers, a cross-disciplinary resource that combines a structured corpus of open research problems with a retrospective benchmark of recently resolved problems in mathematics. The corpus records problem statements, context, progress, and other information for 12,151 problems. The benchmark contains 200 problems, 110 resolved in 2026 and 90 still open, each with a Lean~4 statement checked by automated probes and two independent reviews; a subset…
Summary and abstract excerpt via Hugging Face Papers ↗ · arXiv.
OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery was first seen on Hugging Face · Daily papers on Nov 8, 2026. Since then it has appeared in 3 checks on 1 different day. Its best position was #30 of 30, reached on Nov 8, 07:28 UTC. It dropped off the list after Nov 8, 11:28 UTC.
Position on Hugging Face · Daily papers at every check (lower is better).
Best rank per day (UTC).
Platform metric as reported by Hugging Face.
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 8, 11:28 UTC, after 1 day of trending.
#30 on Hugging Face · Daily papers, on Nov 8, 07:28 UTC. Trendoday checks this list every 120 minutes.
It was first seen on Nov 8, 2026 and has been on the list on 1 day (3 checks) since.