1011 problems

Open problems

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.

All fields Mathematics 12 Computer science 1 Physics & astronomy 5 Chemistry & materials 2 Life sciences 2 Earth & society 2

Chemistry 1 Materials 1

Source Any Curated here 1

Verification Any A · Machine-checkable B · Reproducible C · Reviewed Tier Any Standard Hard Grand challenges

1 shown

B Hard Materials

High-pressure hydride superconductors — prediction and verification

Establish which high-pressure hydride superconductivity claims are robust and how accurately ab initio electron-phonon theory predicts their critical temperatures.

0claims

0verified

High-pressure hydride superconductors — prediction and verification

Browse by field