| Theorem (differential privacy) | 119SB5NK2N | statement | open | Wikipedia Exponential mechanism#WC46 |
| Theorem (Dilworth ≈1940, Grätzer and Schmidt 1962) | RVA411JHWA | statement | open | Wikipedia Congruence lattice problem#GDR3 |
| Theorem (Distinct Cosets) | ESED5EPRKY | statement | open | Wikipedia Burst error-correcting code#AWY7 |
| Theorem (Dobbertin 1986) | Y635KJXNRR | statement | open | Wikipedia Congruence lattice problem#8TD2 |
| Theorem (E. Borel) | 1H4ARZ5ECV | statement | open | Wikipedia Surjection of Fréchet spaces#2PNU |
| Theorem (Eckhaus | YGF2598WQ5 | statement | open | Wikipedia Method of averaging#BAL9 |
| Theorem (Ein, Lazarfeld, Smith; Hochster, Huneke) | YGY8Z3B1MC | statement | open | Wikipedia Symbolic power of an ideal#JP67 |
| Theorem (Elliott) | WPPWKDZ6DN | statement | open | Wikipedia Approximately finite-dimensional C*-algebra#VNAA |
| Theorem (ergodic case) | 4RSH0FRNF9 | statement | open | Wikipedia Asymptotic equipartition property#NJIX |
| Theorem (Ergodic Theorem for MCMC) | 142P9X0164 | statement | open | Wikipedia Markov chain Monte Carlo#6K27 |
| Theorem (Ershov 1977, Pudlák 1985) | HZHZV5SZAT | statement | open | Wikipedia Congruence lattice problem#3PE0 |
| Theorem (Exact CHSH rigidity) | H027CYPHT9 | statement | open | Wikipedia CHSH inequality#E73Q |
| Theorem (Exercise 2.5.10) | SD7SZGJ59E | statement | open | Wikipedia Sub-Gaussian distribution#ENVS |
| Theorem (Existence and uniqueness of the canonical uniformity) | XM8SYFSTYJ | statement | open | Wikipedia Complete topological vector space#JRR0 |
| Theorem (Existence of a periodic orbit) | KKV59SWB7D | statement | open | Wikipedia Method of averaging#OIAY |
| Theorem (existence of parallelism) | ZA04038BWW | statement | open | Wikipedia Ordered geometry#G2Y9 |
| Theorem (existence) | VYFMZD522X | statement | open | Wikipedia Randomness extractor#MAI1 |
| Theorem (Extending seminorms) | DE6HPCXQQ1 | statement | open | Wikipedia Seminorm#4TL2 |
| Theorem (Fourier coefficients of Maass forms) | JC7619HF0Y | statement | open | Wikipedia Maass wave form#0H5C |
| Theorem (Freese, Lampe, and Taylor 1979) | T9QG591TTZ | statement | open | Wikipedia Congruence lattice problem#8YDB |
| Theorem (Fréchet-Shohat) | YKDT8830E2 | statement | open | Wikipedia Moment problem#LO9F |
| Theorem (Fuglede) | YZCABAJDJB | statement | open | Wikipedia Fuglede's theorem#U2SW |
| Theorem (Fuglede-Putnam-Rosenblum) | YBFV15RKN9 | statement | open | Wikipedia Fuglede's theorem#18HM |
| Theorem (Funayama and Nakayama 1942) | A7GMEPYJSW | statement | open | Wikipedia Congruence lattice problem#YPLI |
| Theorem (Gagliardo-Nirenberg in bounded domains) | B4VZ65A67Q | statement | open | Wikipedia Gagliardo–Nirenberg interpolation inequality#UOF7 |
| Theorem (Gagliardo-Nirenberg) | SGWK7AZRQK | statement | open | Wikipedia Gagliardo–Nirenberg interpolation inequality#H8NX |
| Theorem (general case) | B6YN5KJS95 | statement | open | Wikipedia Asymptotic equipartition property#4F1Q |
| Theorem (general Leibniz rule) | A98KY0JJ44 | statement | open | Wikipedia Weyl algebra#XB1Y |
| Theorem (geometric representation) | DF9QJFB03Y | statement | open | Wikipedia Schwarz triangle#T1XI |
| Theorem (Gerald Edgar) | P9H35EA4A0 | statement | open | Wikipedia Extreme point#EDHR |
| Theorem (Gil-Pelaez) | VEZ4F440WN | statement | open | Wikipedia Characteristic function (probability theory)#YFC8 |
| Theorem (Grothendieck) | 2Z8JNCTAWC | statement | open | Wikipedia Projective tensor product#XH7E |
| Theorem (Grothendieck) | AGER2NXMV9 | statement | open | Wikipedia Dimension theory (algebra)#UJG5 |
| Theorem (Grätzer and Schmidt 1963) | J5W2R92AVW | statement | open | Wikipedia Congruence lattice problem#IZLZ |
| Theorem (Hecke; 1918) | X0X713PN8C | statement | open | Wikipedia Riemann hypothesis#4LRW |
| Theorem (Heilbronn; 1934) | RDHVMXSVN5 | statement | open | Wikipedia Riemann hypothesis#HGSY |
| Theorem (Heise) | PZC9HQ1ZA4 | statement | open | Wikipedia Minkowski plane#LHON |
| Theorem (Hodge−Weyl decomposition) | AGSE37693K | statement | open | Wikipedia Differential forms on a Riemann surface#HRPE |
| Theorem (Hopf) | 2ERD4MBJK5 | statement | open | Wikipedia Hopf algebra#JE3Y |
| Theorem (Huhn 1985) | 486GB9KKGT | statement | open | Wikipedia Congruence lattice problem#X7GH |
| Theorem (Hungerford) | XVGE270QR8 | statement | open | Wikipedia Principal ideal ring#JE1C |
| Theorem (Hörmander, 1954) | HQ0PY0GTMF | statement | open | Wikipedia Rådström's embedding theorem#WIWH |
| Theorem (Imbert's first acceleration theorem) | HG7HP4M4HD | statement | open | Wikipedia Fourier–Motzkin elimination#7JJ0 |
| Theorem (Imbert's second acceleration theorem) | Y1TWB6YRQH | statement | open | Wikipedia Fourier–Motzkin elimination#HB5J |
| Theorem (Jacobi's formula) | BNGJZP0JKM | statement | open | Wikipedia Jacobi's formula#GT7J |
| Theorem (Kalton) | CJMJDGYN4Q | statement | open | Wikipedia Locally convex topological vector space#9Q4C, Wikipedia Metrizable topological vector space#V5MT |
| Theorem (Kantorovich-Rubenstein duality) | P4Y33W5NBR | statement | open | Wikipedia Wasserstein metric#DRL9 |
| Theorem (Klee (1952)) | C30PJ4386C | statement | open | Wikipedia F-space#YBDL |
| Theorem (Klee) | D60FBSMJF9 | statement | open | Wikipedia Complete topological vector space#4QS1, Wikipedia Metrizable topological vector space#V1GF |
| Theorem (Krull Intersection) | G4KFTQN1ZE | statement | open | Wikipedia Artin–Rees lemma#6S2D |
| Theorem (Krylov–Bogolyubov) | G1NVTD1860 | statement | open | Wikipedia Krylov–Bogolyubov theorem#56NF |
| Theorem (Krylov–Bogolyubov) | M1EVWCX6NE | statement | open | Wikipedia Krylov–Bogolyubov theorem#L683 |
| Theorem (Lampe 1982) | DX2YAVX2YY | statement | open | Wikipedia Congruence lattice problem#O1TG |
| Theorem (Lasker–Noether) | 5QFEZR8804 | statement | open | Wikipedia Primary ideal#S76S |
| Theorem (Lawton) | MJ3H1D3PKW | statement | open | Wikipedia Mahler measure#91MQ |
| Theorem (linear convergence of gradient descent) | 9BGDJBNG26 | statement | open | Wikipedia Łojasiewicz inequality#XTC4 |
| Theorem (Liu–Xu–Zhuang): | ZAD39N0P3Q | statement | open | Wikipedia K-stability of Fano varieties#B0CQ |
| Theorem (Li–Tian–Wang, Li) | JGPQPF9DEG | statement | open | Wikipedia K-stability of Fano varieties#Z16P |
| Theorem (Li–Tian–Wang, Li, Berman, Liu–Xu–Zhuang) | X7KQZ8EZKQ | statement | open | Wikipedia K-stability of Fano varieties#6YGO |
| Theorem (lower bound on f(k,r)) | A15B2YACGK | statement | open | Wikipedia Sunflower (mathematics)#3J69 |
| Theorem (Luther decomposition) | 4MSF04TF6E | statement | open | Wikipedia Measure (mathematics)#PFW7 |
| Theorem (Lévy) | 4GB24MYKE8 | statement | open | Wikipedia Characteristic function (probability theory)#PW5B |
| Theorem (Maltsev, 1954) | 6KSD8RNFMP | statement | open | Wikipedia Congruence-permutable algebra#OOV9 |
| Theorem (Matoušek 2008, Theorem 4.1) | 2MJXH49DAC | statement | open | Wikipedia Johnson–Lindenstrauss lemma#8NEG |
| Theorem (Mazur) | EG4X7Q45ZY | statement | open | Wikipedia Hahn–Banach theorem#H8K1 |
| Theorem (Milnor, 1958) | VQ3D7609Y5 | statement | open | Wikipedia Milnor–Wood inequality#FXK1 |
| Theorem (Minkowski's bound on the shortest vector) | JKA47047JE | statement | open | Wikipedia Minkowski's theorem#FSLX |
| Theorem (Monotone convergence for non-negative measurable functions) | TNHTTYKGSW | statement | open | Wikipedia Monotone convergence theorem#LQN9 |
| Theorem (Mordell; 1934) | B8FJAGPP43 | statement | open | Wikipedia Riemann hypothesis#PXHL |
| Theorem (Mostow's theorem for hyperbolic | 8F16PMPR75 | statement | open | Wikipedia Topological rigidity#2ML5 |
| Theorem (Nagata, Zariski) | J1A8RED1VD | statement | open | Wikipedia Symbolic power of an ideal#URLE |
| Theorem (NBG's axiom of separation) | 84DCC0XKV9 | statement | open | Wikipedia Von Neumann–Bernays–Gödel set theory#F1WR |
| Theorem (Neighborhood filter of the origin) | ZF8NMGXHQS | statement | open | Wikipedia Topological vector space#W3TY |
| Theorem (Nevanlinna-Pick interpolation) | BJ88NQCN49 | statement | open | Wikipedia Commutant lifting theorem#S04R |
| Theorem (number of bursts) | 4D5W5YJRHX | statement | open | Wikipedia Burst error-correcting code#IYKN |
| Theorem (Obreschkoff–Ostrowski) | 379QASZ2C4 | statement | open | Wikipedia Real-root isolation#ZO57 |
| Theorem (Optimality of Karhunen–Loève basis) | VX25DW3CX0 | statement | open | Wikipedia Kosambi–Karhunen–Loève theorem#JQRS |
| Theorem (over a finite set) | KYPHNTTK0G | statement | open | Wikipedia Sub-Gaussian distribution#E3ZT |
| Theorem (Pettis, 1938) | C0RQE13A3D | statement | open | Wikipedia Weakly measurable function#Y6U0 |
| Theorem (Plotkin bound) | ZBMNCPPYNM | statement | open | Wikipedia Plotkin bound#CTI2 |
| Theorem (Ploščica, Tůma, and Wehrung 1998) | BBWQTKAE6S | statement | open | Wikipedia Congruence lattice problem#E622 |
| Theorem (Plünnecke's inequality) | Q04PBXYW9N | statement | open | Wikipedia Plünnecke–Ruzsa inequality#FXJ4 |
| Theorem (Plünnecke's theorem) | 8RZHQRC0ZA | statement | open | Wikipedia Plünnecke–Ruzsa inequality#KUL8 |
| Theorem (Plünnecke-Ruzsa inequality) | SH0Q46HHCB | statement | open | Wikipedia Plünnecke–Ruzsa inequality#Y7WA |
| Theorem (Prékopa–Leindler inequality) | R9DWWQHT9H | statement | open | Wikipedia Brunn–Minkowski theorem#LHYI |
| Theorem (Pudlák 1985) | WAMHEZ96TV | statement | open | Wikipedia Congruence lattice problem#ONSL |
| Theorem (Rectangulation ↔ Satisfied Superset) | AMKXR6K79X | statement | open | Wikipedia Rectangulations#R9HC |
| Theorem (Rees) | XSEMT864HC | statement | open | Wikipedia Depth (ring theory)#VQX6 |
| Theorem (Rieger bound) | MRHJZKM78R | statement | open | Wikipedia Burst error-correcting code#3M1W |
| Theorem (Ruzsa sum triangle inequality) | XE27D3BNQN | statement | open | Wikipedia Ruzsa triangle inequality#DPFZ |
| Theorem (Ruzsa triangle inequality) | 3PVCZHVC70 | statement | open | Wikipedia Ruzsa triangle inequality#MJG7 |
| Theorem (Ruzsa triangle inequality) | BCECMDTGB5 | statement | open | Wikipedia Plünnecke–Ruzsa inequality#YLCX, Wikipedia Ruzsa triangle inequality#3TUH |
| Theorem (Rådström, 1952) | 48NM8HKK5C | statement | open | Wikipedia Rådström's embedding theorem#T4ZO |
| Theorem (Růžička 2008) | K0E2EMDWNA | statement | open | Wikipedia Congruence lattice problem#WB8D |
| Theorem (Salem–Zygmund) | JCNRH56NJY | statement | open | Wikipedia Central limit theorem#FFQB |
| Theorem (Schmidt 1968) | MSXC59QSW3 | statement | open | Wikipedia Congruence lattice problem#TU8N |
| Theorem (Schmidt 1981) | F2FZBQZRZ0 | statement | open | Wikipedia Congruence lattice problem#ELXR |
| Theorem (Schoenberg criterion, independently shown by Young & Householder) | 8JNQNKERJ5 | statement | open | Wikipedia Euclidean distance matrix#LL8Z |
| Theorem (semifinite part) | BNAYHBPG2M | statement | open | Wikipedia Measure (mathematics)#GIDK |
| Theorem (smooth Hodge–Weyl decomposition) | 4MA9WETDF0 | statement | open | Wikipedia Differential forms on a Riemann surface#GWU4 |