Benchmarks in Leipzig

arXiv:2606.05818 · math.HO, cs.AI, math.AG, math.CO, math.RT · Submitted 2026-06-04 · Read on arXiv

math.HO, cs.AI, math.AG, math.CO, math.RT

Submitted: 2026-06-04

Updated: 2026-10-05

Terminology

• Benchmark — 2× in this paper · explained in 2 episodes

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