Benchmark definition

FrontierMath Tier 4

v2 (2026-06-12)
ActiveEstablishedCommon useFRONTIERMATH_T4_V2

The v2 43-problem FrontierMath expansion focused on exceptionally difficult research-level mathematics.

Applicability does not mean evaluated; benchmark result/model score data is outside this UI contract.

Compare with others

About

Description
FrontierMath Tier 4 v2 contains research-level problems that are substantially harder than the Tiers 1–3 base set.
What it measures
Research-level mathematical reasoning on exceptionally difficult problems.
Comparison guidance
Not published
Intended difficulty
Not published

Not recorded for this benchmark: what it does not measure, why it matters, motivation, gap addressed.

Classification

Categories
MathematicsResearch mathematics
Domains
MathematicsResearch mathematics
Evaluation style
Automatic metric

Structure

One undivided item set. No components or scenarios recorded.

Tasks

None recorded

Metrics

What a result on this benchmark would be reported as. ctxdex does not carry results.

MetricRoleDirectionUnit
Accuracy
PrimaryHigher is betterPercent

Methodology

None recorded

Evaluation environment

What the benchmark's harness provides and allows. These are properties of the environment, not model requirements, and applicability does not test for them.

Interaction

None. Static prompts and answers.

Evaluation style
Automatic metric
Environment summary
Not published

Model requirements

Required conditions decide applicability. Relevant ones describe what the benchmark exercises and decide nothing.

Required · decides applicability

Whole benchmark
Text (input)Text (output)Complex reasoning

Relevant · informational

Explicit reasoningGeneral purpose modelsReasoning models

CTXDEX models

13 of the 58 active, preview, experimental models meet this benchmark’s recorded requirements, at some scope. Applicable means the requirements are met, not that the model was evaluated.

View all 13 applicable models →
Applicable · full
13
Applicable · components
0
Applicable · scenarios
0
Conditionally applicable
0
Not recorded
45

Counted over 58 models in the default lifecycle scope (active, preview, experimental).

Every required condition, for the whole benchmark, is recorded as supported. Each line is one recorded condition and why it counts.

  • Ctxdex Chintana 1 Large
    Ctxdex Efficient Reasoning
    Full benchmark

    Every one of the 3 required conditions is recorded as supported.

    • MODALITY:INPUT:TEXTthe catalogue records SUPPORTED for TEXT (input)
    • MODALITY:OUTPUT:TEXTthe catalogue records SUPPORTED for TEXT (output)
    • MODEL_TASK:COMPLEX_REASONINGthe catalogue records SUPPORTED for COMPLEX_REASONING
  • Ctxdex Chintana 1 Mini
    Ctxdex Efficient Reasoning
    Full benchmark

    Every one of the 3 required conditions is recorded as supported.

    • MODALITY:INPUT:TEXTthe catalogue records SUPPORTED for TEXT (input)
    • MODALITY:OUTPUT:TEXTthe catalogue records SUPPORTED for TEXT (output)
    • MODEL_TASK:COMPLEX_REASONINGthe catalogue records SUPPORTED for COMPLEX_REASONING
Preview holds 12 of 13. View all →

Applicability/relevance ordering only; never a performance ranking.

Scale

  • 43
    Problem
    Total · Exact

Data and access

Dataset
Partially open
Evaluation code
Open source
Unknown
Leaderboard, Peer review, Maintenance

Coverage

Languages, regions

None recorded

Coverage summary
Not published

Limitations

None recorded

Lineage

Family
FamilyFrontierMath
Related
Successor of BenchmarkFrontierMath Tier 4
Changes
UndatedReleased 2026-06-12; v2 corrected 12 Tier 4 problems and removed 7 as part of the major FrontierMath v2 correction.

Sources

Freshness

Content version
1.0
Last reviewed
2026-09-22
Refresh model
Static
Time sensitivity
Low
Benchmark data
c40cccac878af5d0

13 contract fields are empty for every benchmark in this release and are not shown: applicability groups, conditional requirements, feature requirements, model relevance domains, required capabilities, openness summary, reference artifacts, interaction protocols, tool protocols, benchmark last major refresh at, short name, target expertise level, target population.