claims depot

Topics

Every reviewed claim, written or formalized in Lean, shelved by the problem it attacks. Assignment is deterministic (phrase match over the claim graph, plus paper metadata signals) and recomputed nightly, so each shelf stays current as the corpus grows. The same data, typed, at /api/topics.

Dark Matter 2168 claims
The dominant matter component inferred gravitationally but not directly detected. formal 2 2166 papers
Dark Energy 890 claims
The accelerating expansion of the universe and the cosmological constant problem. formal 2 888 papers
Quantum Gravity 487 claims
Reconciling general relativity with quantum mechanics. formal 4 483 papers
Navier-Stokes Regularity 291 claims
Whether smooth initial data for the 3D Navier-Stokes equations can develop singularities in finite time. formal 4 287 papers
The Hubble Tension 255 claims
The disagreement between early- and late-universe measurements of the expansion rate. formal 1 254 papers
The Measurement Problem 167 claims
What happens when a quantum superposition becomes a definite outcome. 167 papers
Matter-Antimatter Asymmetry 161 claims
Why the observable universe contains much more matter than antimatter. 161 papers
The Riemann Hypothesis 148 claims
All nontrivial zeros of the Riemann zeta function lie on the critical line. 148 papers
P versus NP 135 claims
Whether every problem whose solution can be checked quickly can also be solved quickly. formal 1 134 papers
Yang-Mills Mass Gap 104 claims
Proving that quantum Yang-Mills theory exists rigorously and has a positive mass gap. formal 1 103 papers
The Collatz Conjecture 80 claims
Iterate n to n/2 or 3n+1; does every starting value reach 1? formal 1 79 papers
The Twin Prime Conjecture 71 claims
Are there infinitely many primes p with p + 2 also prime? 71 papers
The Strong CP Problem 66 claims
Why quantum chromodynamics conserves CP symmetry. 66 papers
The Hodge Conjecture 64 claims
Whether certain de Rham cohomology classes on projective varieties are algebraic. 64 papers
High-Temperature Superconductivity 63 claims
Explaining high-temperature superconductivity and finding higher-temperature materials. 63 papers
Birch and Swinnerton-Dyer 30 claims
The rank of an elliptic curve equals the order of vanishing of its L-function at s = 1. 30 papers
Protein Folding 29 claims
Deriving protein structure, folding process, and energetics. 29 papers
The Hierarchy Problem 28 claims
Why the Higgs mass is far below the Planck scale. 28 papers
Goldbach's Conjecture 27 claims
Every even integer greater than 2 is the sum of two primes. 27 papers
The abc Conjecture 17 claims
A deep statement relating the additive and multiplicative structure of integers. 17 papers