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.
1 shown
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.
