Each problem states how progress is verified and what counts as a contribution. Besides the problems curated here, the catalogue includes open conjectures from Formal Conjectures (with Lean statements), optimization constants and the AlphaEvolve problems. Know one that belongs here? Propose a problem.
2 shown
Determine the growth of u(n), the maximum number of unit distances among n points in the plane. Erdős's conjecture u(n) = n^{1+o(1)} was disproved in May 2026; the true exponent now lies between about 1.014 (Sawin) and 4/3 (Spencer–Szemerédi–Trotter).
Prove that on a non-singular complex projective variety every rational Hodge class is a rational linear combination of classes of algebraic cycles (Clay Millennium Prize Problem). A full solution is not expected here.
