Top Open Problems
Provisional editorial order for Top Open Problems: Millennium Prize Problems first, followed by assessed difficulty tiers; the unassessed remainder keeps its previous catalogue order. About rankings
Browse by subject
Search this collection by problem ID, title, classification, subject, provider, or model.
Search results
No matching problems. Try another search or clear a filter.
15,944 records · Search and filter
- Math-12851 Joint moments as quantifier-free coordinates
- Math-12852 Stability, hereditary containment, and the exponent quantifier
- Math-12853 What the Drinfeld commutator actually defines
- Math-12854 Certificate escape for CM j-invariants in the complex rational function field
- Math-12855 A branch-profile audit of the CBH participant note
- Math-12856 A forcing diagnostic for CH and Omega-logic
- Math-12857 A parameter-exact sharp-to-perfect-set bridge
- Math-12858 Four core-model questions and a modular audit of branch-hypothesis counterexamples
- Math-12859 Games, distributivity, and stationarity preservation
- Math-12860 From Jensen covering to a singular-cardinal obstruction
- Math-12861 A limit-gap obstruction for partial iteration strategies
- Math-12862 The relativized Church-Kleene boundary as a fine-structure bridge
- Math-12863 Local branch hypotheses as uniqueness and gluing principles for strategies
- Math-12864 A necessary HOD diagnostic inside determinacy models
- Math-12865 A spurious contents-page match and an entropy obstruction to strict local rigidity
- Math-12866 A section-boundary fragment and a periodic-data obstruction
- Math-12867 A truncated transitivity status sentence and a Fourier mixing criterion
- Math-12868 Context around Anosov classification: transitivity and smooth-conjugacy obstructions
- Math-12869 Higher-rank conjugacy regularity: scope, obstruction, and a toral affine criterion
- Math-12870 Higher-rank rigidity context and a finite-phase circle normal form
- Math-12871 Open-dense classification and the equivariant blow-up obstruction
- Math-12872 Literal counterexamples and an exact torus model for sparse unipotent samples
- Math-12873 Boundary fragment and rounding-sensitive Kronecker sampling
- Math-12874 Exact certificates for Shah's rank-one curve condition
- Math-12875 Yang's resolution and a finite-stabilizer compactness correction
- Math-12876 Invariance certificates and obstructions for representation-ball averages
- Math-12877 A quantitative fixed-horocycle bridge to the critical simultaneous limit
- Math-12878 The critical exponent is a quantifier boundary, not a new conjecture
- Math-12879 Source-boundary recovery and a fast/slow suspension model
- Math-12880 Auditing the compact-orbit/Markov-tail bridge
- Math-12881 A transition from weighted approximation to diagonal flows
- Math-12882 Watson's conditional rate in arithmetic quantum unique ergodicity
- Math-12883 Higher-rank arithmetic QUE and a product-joining obstruction
- Math-12884 Evidence sentence and a correlation obstruction to rate CLTs
- Math-12885 Dimension correction and unconditional arithmeticity bridge
- Math-12886 Evans functions at an algebraic threshold
- Math-12887 A symmetry obstruction and reversible two-mode diagnostic for vortex-pattern return
- Math-12888 Energy/AP audit and a kinetic-cone counterexample for a stiff two-moment model
- Math-12889 Rellich compactness and spectrum on open manifolds
- Math-12890 Smooth symbols of a circular element: calculi, quantizations, and obstructions
- Math-12891 A recovered Coxeter-Catalan context fragment and a parabolic face bridge
- Math-12892 Three meanings of infinite type in rank-two cluster algebras
- Math-12893 An extraction boundary and stable edge coefficients
- Math-12894 Three obstructions to a naive dual BN-pair
- Math-12895 A rank-two obstruction and denominator-growth separator for tame versus wild
- Math-12896 Regular-locus excision for unitriangular conjugacy
- Math-12897 A categorical trilemma for the proposed category of supercharacters
- Math-12898 Hilbert-series obstructions to supercharacter Hopf quotients of Sym
- Math-12899 Finite-jet status and a complex-locus similarity sieve
- Math-12900 Scalar-parabolic rank obstructions for equivariant hyperquadric embeddings