Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs

TL;DR

MathArena is an expanded, continuously maintained evaluation platform for mathematical reasoning with LLMs, covering diverse tasks from olympiad problems to formal proofs, enabling reliable progress tracking.

Contribution

This work extends MathArena from static benchmarks to a dynamic platform, broadening its scope and establishing protocols for ongoing evaluation of LLMs in mathematics.

Findings

GPT-5.5 achieves 98% on 2026 USA Math Olympiad problems.

GPT-5.5 reaches 74% on research-level questions.

MathArena now includes proof competitions, arXiv problems, and formal proof generation.

Abstract

Large language models (LLMs) are becoming increasingly capable mathematical collaborators, but static benchmarks are no longer sufficient for evaluating progress: they are often narrow in scope, quickly saturated, and rarely updated. This makes it hard to compare models reliably and track progress over time. Instead, we need evaluation platforms: continuously maintained systems that run, aggregate, and analyze evaluations across many benchmarks to give a comprehensive picture of model performance within a broad domain. In this work, we build on the original MathArena benchmark by substantially broadening its scope from final-answer olympiad problems to a continuously maintained evaluation platform for mathematical reasoning with LLMs. MathArena now covers a much wider range of tasks, including proof-based competitions, research-level arXiv problems, and formal proof generation in Lean. Additionally, we maintain a clear evaluation protocol for all models and regularly design new benchmarks as model capabilities improve to ensure that MathArena remains challenging. Notably, the strongest model, GPT-5.5, now reaches 98% on the 2026 USA Math Olympiad and 74% on research-level questions, showing that frontier models can now comfortably solve extremely challenging mathematical problems. This highlights the importance of continuously maintained evaluation platforms like MathArena to track the rapid progress of LLMs in mathematical reasoning.