FrontierMath: Open Problems

A collection of unsolved mathematics problems that have resisted serious attempts by professional mathematicians. AI solutions would meaningfully advance the state of human mathematical knowledge. This work was supported by Schmidt Sciences.

Interested in purchasing access to solution verifiers? Contact math@epoch.ai

Problems solved by AI

Moderately interesting
0 /2 SOLVED
Solid result
0 /6 SOLVED
Major advance
0 /3 SOLVED
Breakthrough
0 /3 SOLVED
Problem
Notability
Solved
Apéry-style Irrationality Proofs

Adapt Apéry’s proof of the irrationality of $\zeta(3)$ to other constants.

Breakthrough
No
The Arithmetic Kakeya Conjecture

Improve best-known upper bounds by constructing specific combinatorial objects.

Solid result
No
Degree vs Sensitivity for Boolean Functions

Improve the exponent in the upper bound that degree has over sensitivity.

Solid result
No
Explicit Deformations of Algebras

Find explicit deformations from curvilinear algebras to monomial algebras.

Solid result
No
Inverse Galois

Find a polynomial whose Galois group is the Mathieu group $M_{23}$.

Major advance
No
Surface with a High Number of Singularities

Present a KLT del Pezzo surface in characteristic 3 with more than 7 singular points.

Solid result
No
Large Steiner Systems

Construct an $(n,q,r)$-Steiner system with $n > q > r > 5$, $r < 10$, and $n < 200$.

Solid result
No
Prime Factorization

Improve the constant factor in the exponent of GNFS.

Breakthrough
No
The $2$-adic Absolute Galois Group

Give a presentation for the absolute Galois group of the field of $2$-adic numbers as a profinite group.

Solid result
No
Ramsey Numbers for Book Graphs

Prove a tight lower bound on Ramsey numbers for a class of off-diagonal book graphs.

Moderately interesting
No
A Ramsey-style Problem on Hypergraphs

Construct hypergraphs as large as possible that do not have a certain easy-to-check, difficult-to-find property.

Moderately interesting
No
Stretched Littlewood-Richardson Coefficients

Find partitions whose stretched LR-coefficients, when expressed as a polynomial, have a negative coefficient.

Major advance
No
Symplectic Ball Packing

Find explicit embeddings of symplectic balls into a single target ball, taking up all but $\epsilon$ of the target ball’s volume.

Major advance
No
Unknotting Number = 1

Devise an algorithm that decides whether a knot has unknotting number equal to 1.

Breakthrough
No