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 reliably, with controlled numerics, where the doped two-dimensional Hubbard model (with and without next-nearest-neighbour hopping t′) is superconducting, striped or otherwise ordered.
Resolve the disagreement between lattice-QCD and data-driven (e+e− → hadrons) evaluations of the leading hadronic vacuum polarisation contribution to the muon anomalous magnetic moment.
