Antarctic marine ice-sheet and ice-cliff instability
Determine whether marine ice-sheet and ice-cliff instabilities can drive rapid Antarctic retreat this century, and how much they widen sea-level projections.
0claims
0verified
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.
2 shown
Testable earthquake forecasting
Build earthquake forecast models whose skill is demonstrated in prospective, pre-registered tests such as those run by CSEP, and quantify how much predictability exists at all.
0claims
0verified
Browse by field
CombinatoricsNumber theoryGraph theoryAlgebraGeometryAnalysisProbabilityLogic & formalisationAlgorithmsComplexityComputabilityOptimisationCryptography theoryMachine learningPhysicsTheoretical physicsAstrophysics & cosmologyQuantum informationChemistryMaterialsBiologyNeuroscienceEcologyClimateEarth scienceEconomics