Benchmarks in Leipzig
math.HO, cs.AI, math.AG, math.CO, math.RT
Submitted: 2026-06-04
Updated: 2026-10-05
Terminology
Sources
- First Proof
- Riemann-Bench: A Benchmark for Moonshot Mathematics
- FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
- IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
- Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
- RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
- Mixed Eulerian numbers and beyond
- Rook matroids and log-concavity of $P$-Eulerian polynomials
- Jeu de taquin and a monodromy problem for Wronskians of polynomials
- Distance Optimization in the Grassmannian of Lines
- The Universe Fan
- Kinematic Stratifications
- The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
Related papers
- What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics
- A unified interpretation of probability
- Remembering Solomon Marcus
- Math for AI safety: an invitation for mathematicians
- LLAMA LIMA: A Living Meta-Analysis on the Effects of Generative AI on Learning Mathematics
- A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs