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 146Computer science 13Physics & astronomy 6Chemistry & materials 8Life sciences 2Earth & society 2
Algorithms 4Complexity 4Computability 1Optimisation 3Machine learning 1
Source Any Curated here 1
Verification AnyA · Machine-checkableB · ReproducibleC · Reviewed Tier AnyStandardHardGrand challenges

1 shown

B Machine learning

Mechanisms of grokking (delayed generalisation)

Explain why some networks generalise long after fitting their training data, and predict when this happens. Reproducible small-model experiments serve as evidence, e.g. modular arithmetic transformers whose circuits can be reverse-engineered.

0claims
0verified

Browse by field

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