LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics. - Antoine Peyronnet; Fabian Gloeckle; Amaury Hayat (CoRR, 2026)