Answers are grounded in this paper and cite their sources.
In October 2026, OpenAI released hundreds of manuscripts resolving open mathematical problems, without publishing the full set of problems attempted by its model. Assessing the broader capabilities and limitations of such systems calls for independent benchmarks. To this end, we introduce LPBench, a benchmark for research-level mathematics comprising 117 problems formalised in Lean 4, primarily in combinatorics and graph theory. As a first application, we evaluate Claude Opus 5.5 and Claude Fable 5.1, each with and without web search. Website: https://lp-bench.github.io/
No takes yet. Share an insight, caveat, or question.
Bajpai et al. (2026) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: