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
Construct an exchange-correlation approximation that reaches chemical accuracy (~1 kcal/mol) across broad main-group chemistry at semi-local cost, and show it on public benchmarks.
Establish which high-pressure hydride superconductivity claims are robust and how accurately ab initio electron-phonon theory predicts their critical temperatures.
