LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches

arXiv:2604.01754 · cs.CL, cs.AI, cs.LG · Submitted 2026-04-02 · Read on arXiv

cs.CL, cs.AI, cs.LG

Submitted: 2026-04-02

Updated: 2026-09-24

Project page: https://livemathematicianbench.github.io

Terminology

• Benchmark — 76× in this paper · explained in 2 episodes
• Accuracy — 34× in this paper · explained in 1 episode
• Calibration — 5× in this paper · explained in 7 episodes
• Consistency — 5× in this paper · explained in 3 episodes
• Hypergraph — 5× in this paper · explained in 2 episodes
• Large Language Models (LLMs) — 3× in this paper · explained in 6 episodes
• Core — 2× in this paper · explained in 2 episodes
• Fidelity — 2× in this paper · explained in 2 episodes
• Grounding — 2× in this paper · explained in 3 episodes
• Verification — 2× in this paper · explained in 2 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Axioms — 1× in this paper · explained in 2 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Foundation Model — 1× in this paper · explained in 3 episodes
• Foundation Models — 1× in this paper · explained in 7 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Initial Data — 1× in this paper · explained in 2 episodes
• Interpretability — 1× in this paper · explained in 15 episodes
• Modularity — 1× in this paper · explained in 9 episodes
• Pruning — 1× in this paper · explained in 4 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Trace — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Sources

• First Proof
• Quantitative Stability of the Clifford Torus as a Willmore Minimizer
• Training Verifiers to Solve Math Word Problems
• Mathematical Capabilities of ChatGPT
• Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models
• Mathematical exploration and discovery at scale
• Jacobian rings and the infinitesimal Torelli Theorem
• FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
• On symmetries of hyperbolic lattices of large rank
• Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
• Measuring Mathematical Problem Solving With the MATH Dataset
• There are consecutive cubic fields with large class numbers, when ordered by discriminant
• A note on the Ketonen order and Lipschitz reducibility between ultrafilters
• The number of normal measures, revisited
• MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
• Geometric Progressions meet Zeckendorf Representations
• McDuff superrigidity for group II$_1$ factors
• Graphs with asymmetric Ramsey properties
• Degenerations of cluster type varieties
• Global existence for the relativistic Vlasov-Poisson system in a two-dimensional bounded domain

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering