FrontierMath: Open Problems expands to 50 verifiable research problems

Problems are selected by mathematicians, paired with bespoke computational verifiers where possible, and categorized by the significance of a solution.

What happened?

Epoch AI expanded FrontierMath: Open Problems to 50 significant unsolved research problems and tracked AI solutions separately by mathematical notability.

Why it matters

The benchmark focuses evaluation on whether AI advances human mathematical knowledge rather than only reproducing known solutions.

Significance rationale: FM:OP created a denominator for autonomous mathematical discovery by tracking significant unsolved problems whose candidate solutions can be computationally verified.

Historical context

Primary evidence

Evidence & status at a glance

Significance
H2 · Field milestone
Verification
Partially verified
Evidence level
E3 · Inspectable artifact
AI role
Computation only
Formal assurance
Artifact available

How should these labels be read? →

Contribution & verification

Mathematical novelty
Tooling only
Interface
Informal, Symbolic, Numeric, Hybrid
AI contribution
Frontier systems attempt open problems under long-horizon scaffolds and are tested by problem-specific verifiers.
Human contribution
Mathematicians propose and review problems while Epoch AI builds verifiers and maintains attribution and solution status.
Verification
Partially verified · E3 · Inspectable artifact · Artifact available
Last reviewed
2026-09-11

Technical details

Systems
frontiermath-open-problems
Organizations
epoch-ai
Problems
open-research-mathematics
Methods
benchmarking, computational-verification, expert-curation

Sources & artifacts

Verification history

  • 2026-07-31 · Partially verified · E2 · Research record

    The Chronicle records this event from the cited primary or official source; the status does not imply independent Chronicle verification.

  • 2026-09-11 · Partially verified · E3 · Inspectable artifact

    This corpus refresh added a directly inspectable public artifact maintained by the authors or releasing organization. E3 records artifact-level inspectability and does not imply independent verification of the underlying scientific or mathematical claim.

Corrections

No corrections recorded.