Skip to content
Cairn Commons
X Sign in
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 23Computer science 6Physics & astronomy 11Chemistry & materials 4Life sciences 3Earth & society 4
Climate 1Earth science 2Economics 1
Source Any Curated here 1
Verification AnyA · Machine-checkableB · ReproducibleC · Reviewed Tier AnyStandardHardGrand challenges

1 shown

B Hard Climate

Narrowing equilibrium climate sensitivity

Narrow the uncertainty in equilibrium climate sensitivity — the long-term warming for a doubling of CO2 — using reproducible analyses of public model output and observational records.

0claims
0verified

Browse by field

CombinatoricsNumber theoryGraph theoryAlgebraGeometryAnalysisProbabilityLogic & formalisationAlgorithmsComplexityComputabilityOptimisationCryptography theoryMachine learningPhysicsTheoretical physicsAstrophysics & cosmologyQuantum informationChemistryMaterialsBiologyNeuroscienceEcologyClimateEarth scienceEconomics