MathematicsActive
Trust Score:
95

MathArena

A continuously refreshed platform evaluating models on newly released math competitions, proofs, research problems, and formalization.

Launched: Refresh: continuous
Status Assessment (active):

MathArena continuously adds newly released competitions and research-derived tasks; even as aggregate expected performance rises, fresh proof, visual, and research tracks preserve measurable headroom.

Performance Timeline

Longitudinal progression of model scores against human baselines.

Performance & Historical Trajectory

Empirical score progression across model release dates and evaluation rounds.

Independent Vendor-Reported Human Baseline (55.0%)
ModelScoreDateSource TypeProvenance
GPT-5.5 (xhigh, expected performance)81.3%2024-06-01independentSource ↗
GPT-5.6-Sol (max, expected performance)83.1%2024-06-01independentSource ↗

Human Baseline & Difficulty Horizon

Calibrated human reference points, specialist benchmarks, and ceiling thresholds.
Measured Human Score55.0%Domain Expert Baseline
Baseline Protocol & Interpretation

Human participant benchmark across Olympiad, AMC, and university competition tracks.

Metric & Scoring Methodology

Verification protocols, aggregation formulas, and specialized metric variants.
Primary Metric:expected performance across non-deprecated competitions (%)
Scoring Engine:composite

Dataset & Compute Cost

Evaluation volume, public availability, API pricing, and local hardware requirements.
Total Dataset SizeAnnotated evaluation items
Public Test SetPublicOpenly mirrored on repositories
Access GatingOpen AccessUnrestricted download
Evaluation LicenseOpen AccessDataset usage and redistribution terms
Frontier API Compute Cost:

$5 – $20 USD for full benchmark evaluation run on frontier APIs.

Recommended Local GPU Setup:

1x NVIDIA RTX 4090 (24GB) or A100 (40GB/80GB) via vLLM / SGLang

Official Dataset & Benchmark Files:Download / View Dataset Repository ↗

How to Run & Reproduce

Standardized evaluation protocols, CLI commands, and reproducible runner templates.
Prompt Regimezero-shot
Reasoning Modedirect
Sampling Temp0
Pass@k Budgetk = 1
Tools & SandboxPure Text
Scoring Verifiercomposite
Option AEleutherAI LM-Evaluation-Harness (Open-Weight Models)
lm_eval --model hf --model_args pretrained=<model_path> --tasks matharena --batch_size auto
Option BOpenCompass Evaluation Framework
opencompass --datasets matharena --models <model_config>
Python APIDeterministic Inference Loop Snippet
# Standard API Evaluation Loop
from openai import OpenAI

client = OpenAI()
response = client.chat.completions.create(
    model="gpt-4o",
    messages=[{"role": "user", "content": prompt}],
    temperature=0.0,
)
Standardized Reporting Requirement:

When publishing results for MathArena, always report the exact prompt template, few-shot exemplar ordering, sampling temperature (temperature=0), maximum reasoning budget tokens, and the precise timestamped model snapshot ID.

Contamination & Memorization Analysis

Audit of pretraining exposure risks, memorization vectors, and refresh policies.
Overall Contamination Risk:LOW
Refresh Cadence:

Static fixed snapshot

Test Set Exposure:

Public on web / HuggingFace