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
Adapt Apéry’s proof of the irrationality of $\zeta(3)$ to other constants.
Improve best-known upper bounds by constructing specific combinatorial objects.
Improve the exponent in the upper bound that degree has over sensitivity.
Find explicit deformations from curvilinear algebras to monomial algebras.
Find a polynomial whose Galois group is the Mathieu group $M_{23}$.
Present a KLT del Pezzo surface in characteristic 3 with more than 7 singular points.
Construct an $(n,q,r)$-Steiner system with $n > q > r > 5$, $r < 10$, and $n < 200$.
Improve the constant factor in the exponent of GNFS.
Give a presentation for the absolute Galois group of the field of $2$-adic numbers as a profinite group.
Prove a tight lower bound on Ramsey numbers for a class of off-diagonal book graphs.
Construct hypergraphs as large as possible that do not have a certain easy-to-check, difficult-to-find property.
Find partitions whose stretched LR-coefficients, when expressed as a polynomial, have a negative coefficient.
Find explicit embeddings of symplectic balls into a single target ball, taking up all but $\epsilon$ of the target ball’s volume.
Devise an algorithm that decides whether a knot has unknotting number equal to 1.