Results by number of public follow-ups: Difference between revisions
Appearance
Automatic refresh from the published result pages (160 pages, 610 entries) |
Automatic refresh from the published result pages (163 pages, 624 entries) |
||
| Line 2: | Line 2: | ||
== Summary == | == Summary == | ||
* | * 163 result pages; 161 of them list at least one public follow-up. | ||
* | * 624 follow-up entries in total: | ||
** Research follow-ups: | ** Research follow-ups: 251 | ||
** Formalizations: 24 | ** Formalizations: 24 | ||
** Reviews and verifications: | ** Reviews and verifications: 283 | ||
** Critiques and corrections: 6 | ** Critiques and corrections: 6 | ||
** Catalogue entries, citations and exposition: | ** Catalogue entries, citations and exposition: 60 | ||
== Results == | == Results == | ||
| Line 75: | Line 75: | ||
|- | |- | ||
| 30 || [[Cylinder coverings below the half-area bound]] || Discrete geometry || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-17 | | 30 || [[Cylinder coverings below the half-area bound]] || Discrete geometry || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-17 | ||
|- | |||
| 30 || [[Bigeodesics in planar first-passage percolation]] || Probability || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16 | |||
|- | |- | ||
| 30 || [[Black-box identity testing for noncommutative formulas]] || Algebraic complexity || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16 | | 30 || [[Black-box identity testing for noncommutative formulas]] || Algebraic complexity || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16 | ||
| Line 87: | Line 89: | ||
|- | |- | ||
| 30 || [[The Birch and Swinnerton-Dyer formula in low Selmer corank]] || Number theory || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-16 | | 30 || [[The Birch and Swinnerton-Dyer formula in low Selmer corank]] || Number theory || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |||
| 30 || [[The Boone–Higman conjecture]] || Group theory || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16 | |||
|- | |- | ||
| 30 || [[The Cartan–Hadamard isoperimetric conjecture]] || Differential geometry || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16 | | 30 || [[The Cartan–Hadamard isoperimetric conjecture]] || Differential geometry || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16 | ||
| Line 114: | Line 118: | ||
| 30 || [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10 | | 30 || [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 53 || [[A cubic lower bound for the permanent versus the determinant]] || Algebraic complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | ||
|- | |||
| 53 || [[Barnette's conjecture]] || Combinatorics || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16 | |||
|- | |- | ||
| | | 53 || [[Connes' bicentralizer problem]] || Operator algebras || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Deterministic polynomial factorization over prime fields]] || Algorithms || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Mass generation in two-dimensional O(n) models]] || Mathematical physics || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Positively curved Einstein four-manifolds]] || Differential geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Regularity of infinity-harmonic functions]] || Partial differential equations || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Talagrand's expectation-threshold and discrete-convexity conjectures]] || Combinatorics || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[The Benjamini–Schramm percolation conjectures]] || Probability || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[The Kollár–Pardon conjecture on semialgebraic universal covers]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[The Unique Games Conjecture]] || Computational complexity || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[The area law for gapped ground states in two dimensions]] || Mathematical physics || 4 || 1 || 2 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[The generalized Lax conjecture]] || Convex geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Wall's D(2) problem]] || Homotopy theory || 4 || 2 || 1 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 53 || [[Bounded gaps between primes]] || Number theory || 4 || 2 || 0 || 0 || 0 || 2 || 2026-10-15 | ||
|- | |- | ||
| | | 53 || [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 53 || [[Kaplansky's zero-divisor conjecture]] || Group theory || 4 || 3 || 0 || 1 || 0 || 0 || 2026-10-14 | ||
|- | |- | ||
| | | 53 || [[Residual finiteness of hyperbolic groups]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13 | ||
|- | |- | ||
| | | 53 || [[Thompson's group F is nonamenable]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13 | ||
|- | |- | ||
| | | 53 || [[Hadwiger's conjecture]] || Combinatorics || 4 || 3 || 1 || 0 || 0 || 0 || 2026-10-12 | ||
|- | |- | ||
| | | 53 || [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 53 || [[Polynomial removal for ordered binary matrices]] || Combinatorics || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-11 | ||
|- | |- | ||
| | | 53 || [[The logarithmic Brunn–Minkowski conjecture]] || Convex geometry || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 53 || [[Petty's projection-volume conjecture]] || Convex geometry || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 53 || [[The 2-to-1 Games Conjecture]] || Computational complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 53 || [[The David–Semmes problem in higher codimension]] || Harmonic analysis || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-10 | ||
|- | |- | ||
| | | 53 || [[The Zariski cancellation problem over the complex numbers]] || Algebraic geometry || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 53 || [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[Almost-linear-time maximum matching in general graphs]] || Algorithms || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Brennan's conjecture]] || Complex analysis || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[De Giorgi's conjecture]] || Partial differential equations || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[GOE bulk universality for random regular graphs]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Modularity of elliptic curves over imaginary quadratic fields]] || Number theory || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Mutually unbiased bases in dimension six]] || Quantum information || 3 || 2 || 0 || 0 || 1 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Optimal mixing of the Thorp shuffle]] || Probability || 3 || 1 || 0 || 1 || 1 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Singular Bernoulli convolutions]] || Real analysis || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Smooth isometric immersions of surfaces into four-space]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Sogge's local smoothing conjecture in three dimensions]] || Harmonic analysis || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Spacetime Penrose inequalities]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The Benson–Etingof–Ostrik conjecture for finite tensor categories]] || Algebra || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The Deligne–Drinfeld conjecture]] || Algebra || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The abelian Zilber–Pink conjecture]] || Algebraic geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The ordinary double point volume gap]] || Algebraic geometry || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The sharp constant in random triangle removal]] || Combinatorics || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[The spin-one Haldane gap]] || Mathematical physics || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 81 || [[Sensitivity versus block sensitivity]] || Computational complexity || 3 || 3 || 0 || 0 || 0 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 81 || [[Borsuk's conjecture]] || Discrete geometry || 3 || 1 || 0 || 0 || 0 || 2 || 2026-10-14 | ||
|- | |- | ||
| | | 81 || [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 3 || 0 || 2 || 0 || 0 || 1 || 2026-10-14 | ||
|- | |- | ||
| | | 81 || [[The little finitistic dimension conjecture]] || Representation theory of algebras || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-14 | ||
|- | |- | ||
| | | 81 || [[The Euclidean Steinitz–Bergström conjecture]] || Discrete geometry || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-12 | ||
|- | |- | ||
| | | 81 || [[Classical capacity of generalized amplitude damping]] || Quantum information || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 81 || [[Positive lower density of large prime gaps]] || Number theory || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 81 || [[Strong locality of unitary vertex operator algebras]] || Operator algebras || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[The Erdős similarity conjecture]] || Real analysis || 3 || 3 || 0 || 0 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[The Gaussian moat problem]] || Number theory || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[The Kervaire conjecture]] || Group theory || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[The Lang–Plaut problem]] || Functional analysis || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 81 || [[The second Kahn–Kalai conjecture]] || Probability || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 111 || [[Alperin's weight conjecture]] || Representation theory of algebras || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Donovan's conjecture]] || Representation theory of algebras || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Finite-time singularities of Calabi flow]] || Differential geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Goldfeld's conjecture for quadratic twists]] || Number theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Hilbert's tenth problem over the rational numbers]] || Number theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Kobayashi's canonical-ampleness conjecture]] || Complex analysis || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Metric Markov cotype of ℓ1]] || Functional analysis || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Milne's rationality conjecture]] || Number theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Serre's positivity conjecture for intersection multiplicities]] || Algebra || 2 || 0 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Smith–Toda complexes at every height]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The Gromov–Lawson aspherical conjecture]] || Differential geometry || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The Hovey–Strickland conjecture]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The Kervaire invariant problem at the prime three]] || Homotopy theory || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The LeBrun–Salamon conjecture]] || Differential geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The Oka property of complex K3 surfaces]] || Complex analysis || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The abundance conjecture for threefolds in positive characteristic]] || Algebraic geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The chromatic splitting conjecture]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The critical dimension for one-phase Bernoulli minimizers]] || Partial differential equations || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The hyperkähler SYZ conjecture]] || Algebraic geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The ionization and generalized ionization conjectures]] || Mathematical physics || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 2 || 0 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The near-boundary Birkhoff conjecture]] || Dynamical systems || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[The random k-SAT satisfiability threshold]] || Probability || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 111 || [[Conformal invariance of square-lattice random-cluster interfaces]] || Probability || 2 || 1 || 0 || 0 || 1 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 111 || [[Isomorphism of the free group factors]] || Operator algebras || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 111 || [[The Courtade–Kumar conjecture]] || Information theory || 2 || 1 || 0 || 0 || 0 || 1 || 2026-10-15 | ||
|- | |- | ||
| | | 111 || [[Rigidity of the Turing degrees]] || Mathematical logic || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-12 | ||
|- | |- | ||
| | | 111 || [[The hypercube Ramsey number has linear order]] || Combinatorics || 2 || 0 || 1 || 0 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 111 || [[The periodic tiling conjecture in dimension three]] || Discrete geometry || 2 || 1 || 0 || 0 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 111 || [[An exact Hausdorff gauge for SLE]] || Probability || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 111 || [[Free energies of random perceptrons]] || Probability || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 111 || [[Seymour's second-neighborhood conjecture]] || Combinatorics || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 111 || [[Long gaps between primes]] || Number theory || 2 || 1 || 1 || 0 || 0 || 0 || 2026-10-08 | ||
|- | |- | ||
| | | 111 || [[The Erdős–Gallai cycle-decomposition conjecture]] || Combinatorics || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-08 | ||
|- | |- | ||
| | | 145 || [[Anticanonical nonvanishing under smooth semipositivity]] || Algebraic geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Bi-Lipschitz charts at regular points of RCD spaces]] || Differential geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Bloch's conjecture for surfaces with geometric genus zero]] || Algebraic geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Bound states of the BFSS matrix model]] || Mathematical physics || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Curtis's conjecture]] || Homotopy theory || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Geometric Langlands and the generalized Ramanujan conjecture over function fields]] || Number theory || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[The Fontaine–Mazur conjecture at the prime 2]] || Number theory || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[The Kakeya conjecture in three and four dimensions]] || Harmonic analysis || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[The higher-dimensional Duke problem for torus packets]] || Number theory || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[Yau's uniformization conjecture]] || Differential geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| | | 145 || [[The Grothendieck homotopy hypothesis]] || Homotopy theory || 1 || 1 || 0 || 0 || 0 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 145 || [[The Solomon–Yau least-volume conjecture]] || Differential geometry || 1 || 1 || 0 || 0 || 0 || 0 || 2026-10-15 | ||
|- | |- | ||
| | | 145 || [[Ostmann's inverse Goldbach conjecture]] || Number theory || 1 || 0 || 0 || 0 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| | | 145 || [[The higher-dimensional Erdős distinct-distances conjecture]] || Discrete geometry || 1 || 0 || 1 || 0 || 0 || 0 || 2026-10-10 | ||
|- | |- | ||
| | | 145 || [[Classifying spaces and geometric obstructions for Artin groups]] || Group theory || 1 || 1 || 0 || 0 || 0 || 0 || 2026-10-09 | ||
|- | |- | ||
| | | 145 || [[The cycle–clique Ramsey conjecture]] || Combinatorics || 1 || 0 || 0 || 0 || 0 || 1 || 2026-10-08 | ||
|- | |- | ||
| | | 145 || [[The existential theory of the reals in the counting hierarchy]] || Computational complexity || 1 || 1 || 0 || 0 || 0 || 0 || 2026-10-07 | ||
|- | |- | ||
| | | 162 || [[Griffiths' positivity conjecture]] || Algebraic geometry || 0 || 0 || 0 || 0 || 0 || 0 || — | ||
|- | |- | ||
| | | 162 || [[The inhomogeneous Duffin–Schaeffer conjecture]] || Number theory || 0 || 0 || 0 || 0 || 0 || 0 || — | ||
|} | |} | ||
Revision as of 16:10, 19 October 2026
This page lists every result page of this wiki with the number of public follow-up works recorded on it, from the most to the fewest. It is generated from the follow-up tables of the result pages as they stood on 20 October 2026. The table can be re-sorted by any column.
Summary
- 163 result pages; 161 of them list at least one public follow-up.
- 624 follow-up entries in total:
- Research follow-ups: 251
- Formalizations: 24
- Reviews and verifications: 283
- Critiques and corrections: 6
- Catalogue entries, citations and exposition: 60
Results
| Rank | Result | Area | Follow-ups | Research | Formalizations | Reviews and verifications | Critiques and corrections | Catalogue, citations and exposition | Latest entry |
|---|---|---|---|---|---|---|---|---|---|
| 1 | The quasi-Riemann hypothesis | Number theory | 31 | 25 | 1 | 4 | 0 | 1 | 2026-10-17 |
| 2 | Localization and delocalization in the Anderson model | Mathematical physics | 10 | 0 | 2 | 5 | 0 | 3 | 2026-10-16 |
| 3 | Kaplansky's direct-finiteness conjecture | Group theory | 9 | 4 | 0 | 3 | 0 | 2 | 2026-10-18 |
| 3 | Exact Fourier transforms below n log n | Algorithms | 9 | 8 | 0 | 1 | 0 | 0 | 2026-10-17 |
| 3 | Matrix multiplication with exponent at most 9/4 | Algebraic complexity | 9 | 7 | 0 | 2 | 0 | 0 | 2026-10-15 |
| 6 | The Euclidean plane is not five-colorable | Discrete geometry | 8 | 5 | 0 | 0 | 1 | 2 | 2026-10-15 |
| 7 | Universal optimality of the triangular lattice | Discrete geometry | 7 | 2 | 0 | 3 | 0 | 2 | 2026-10-18 |
| 7 | Classification of finite Euclidean Ramsey configurations | Discrete geometry | 7 | 6 | 0 | 0 | 0 | 1 | 2026-10-17 |
| 7 | Prime-factor statistics of p − 1 | Number theory | 7 | 4 | 2 | 1 | 0 | 0 | 2026-10-17 |
| 7 | Primitive roots for every admissible integer base | Number theory | 7 | 5 | 1 | 1 | 0 | 0 | 2026-10-17 |
| 7 | Integer multiplication below n log n | Algorithms | 7 | 6 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 7 | The Hilbert–Smith conjecture | Geometric topology | 7 | 2 | 2 | 2 | 0 | 1 | 2026-10-16 |
| 7 | The finitely presented Burnside problem | Group theory | 7 | 1 | 0 | 4 | 0 | 2 | 2026-10-16 |
| 7 | The rational Hodge conjecture for CM abelian varieties | Algebraic geometry | 7 | 4 | 0 | 1 | 2 | 0 | 2026-10-16 |
| 15 | The Erdős unit distance and pinned distance problems | Discrete geometry | 6 | 2 | 0 | 3 | 0 | 1 | 2026-10-18 |
| 15 | The irrationality exponent of π is 2 | Number theory | 6 | 6 | 0 | 0 | 0 | 0 | 2026-10-18 |
| 15 | Approximate counting of common bases of two matroids | Algorithms | 6 | 1 | 0 | 5 | 0 | 0 | 2026-10-16 |
| 15 | Foulkes' conjecture | Algebra | 6 | 0 | 0 | 6 | 0 | 0 | 2026-10-16 |
| 15 | Nagata's conjecture on plane curves | Algebraic geometry | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 15 | Power-saving bounds for square-difference-free sets | Combinatorics | 6 | 2 | 0 | 3 | 0 | 1 | 2026-10-16 |
| 15 | Sidorenko's conjecture | Combinatorics | 6 | 3 | 0 | 3 | 0 | 0 | 2026-10-16 |
| 15 | The Toms–Winter conjecture | Operator algebras | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 15 | The two-point Chowla conjecture | Number theory | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 15 | Uniform bounds for limit cycles in Hilbert's sixteenth problem | Dynamical systems | 6 | 1 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 15 | The Falconer distance conjecture | Harmonic analysis | 6 | 3 | 0 | 3 | 0 | 0 | 2026-10-15 |
| 15 | A quadratic bound for Jacobsthal's function | Number theory | 6 | 2 | 0 | 2 | 0 | 2 | 2026-10-14 |
| 15 | The Harary–Hill and Zarankiewicz crossing-number conjectures | Combinatorics | 6 | 2 | 0 | 3 | 0 | 1 | 2026-10-14 |
| 15 | Permanence of weakly reversible mass-action systems | Dynamical systems | 6 | 4 | 0 | 2 | 0 | 0 | 2026-10-11 |
| 15 | Reconstruction thresholds for Potts broadcasting on trees | Probability | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-11 |
| 30 | The Barendregt–Geuvers–Klop conjecture | Mathematical logic | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-19 |
| 30 | Cylinder coverings below the half-area bound | Discrete geometry | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-17 |
| 30 | Bigeodesics in planar first-passage percolation | Probability | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 30 | Black-box identity testing for noncommutative formulas | Algebraic complexity | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | Bose–Einstein condensation in the dilute Bose gas | Mathematical physics | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 30 | Irrationality of Catalan's constant | Number theory | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 30 | Lech's multiplicity conjecture | Algebra | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | Scaling limits of critical Fortuin–Kasteleyn planar maps | Probability | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | The Birch and Swinnerton-Dyer formula in low Selmer corank | Number theory | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 30 | The Boone–Higman conjecture | Group theory | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | The Cartan–Hadamard isoperimetric conjecture | Differential geometry | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 30 | The Laughlin spectral gap | Mathematical physics | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 30 | The Mahler conjectures | Convex geometry | 5 | 2 | 0 | 2 | 0 | 1 | 2026-10-16 |
| 30 | The hyperinvariant subspace problem | Functional analysis | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 30 | The optimal order of convex-body covering density | Convex geometry | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | The separable quotient problem | Functional analysis | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| 30 | The strong thin-tree conjecture | Combinatorics | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | Thomason model structures on strict higher categories | Homotopy theory | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 30 | Ultraflat real Littlewood polynomials | Harmonic analysis | 5 | 3 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 30 | Worst-case Subset Sum below the meet-in-the-middle bound | Computational complexity | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 30 | A factor-two approximation for shortest common superstring | Algorithms | 5 | 1 | 4 | 0 | 0 | 0 | 2026-10-13 |
| 30 | The Ajtai–Erdős–Komlós–Szemerédi independence conjecture | Combinatorics | 5 | 1 | 0 | 3 | 0 | 1 | 2026-10-11 |
| 30 | Hardness of coloring three-colorable graphs | Computational complexity | 5 | 2 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 53 | A cubic lower bound for the permanent versus the determinant | Algebraic complexity | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-16 |
| 53 | Barnette's conjecture | Combinatorics | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-16 |
| 53 | Connes' bicentralizer problem | Operator algebras | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-16 |
| 53 | Deterministic polynomial factorization over prime fields | Algorithms | 4 | 1 | 0 | 1 | 0 | 2 | 2026-10-16 |
| 53 | Mass generation in two-dimensional O(n) models | Mathematical physics | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-16 |
| 53 | Positively curved Einstein four-manifolds | Differential geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 53 | Regularity of infinity-harmonic functions | Partial differential equations | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-16 |
| 53 | Talagrand's expectation-threshold and discrete-convexity conjectures | Combinatorics | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 53 | The Benjamini–Schramm percolation conjectures | Probability | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-16 |
| 53 | The Kollár–Pardon conjecture on semialgebraic universal covers | Algebraic geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 53 | The Unique Games Conjecture | Computational complexity | 4 | 2 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 53 | The area law for gapped ground states in two dimensions | Mathematical physics | 4 | 1 | 2 | 1 | 0 | 0 | 2026-10-16 |
| 53 | The generalized Lax conjecture | Convex geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| 53 | Wall's D(2) problem | Homotopy theory | 4 | 2 | 1 | 1 | 0 | 0 | 2026-10-16 |
| 53 | Bounded gaps between primes | Number theory | 4 | 2 | 0 | 0 | 0 | 2 | 2026-10-15 |
| 53 | The hot spots conjecture for simply connected planar domains | Partial differential equations | 4 | 4 | 0 | 0 | 0 | 0 | 2026-10-15 |
| 53 | Kaplansky's zero-divisor conjecture | Group theory | 4 | 3 | 0 | 1 | 0 | 0 | 2026-10-14 |
| 53 | Residual finiteness of hyperbolic groups | Group theory | 4 | 2 | 0 | 1 | 0 | 1 | 2026-10-13 |
| 53 | Thompson's group F is nonamenable | Group theory | 4 | 2 | 0 | 1 | 0 | 1 | 2026-10-13 |
| 53 | Hadwiger's conjecture | Combinatorics | 4 | 3 | 1 | 0 | 0 | 0 | 2026-10-12 |
| 53 | Endpoint Sobolev regularity of the centered maximal function | Harmonic analysis | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-11 |
| 53 | Polynomial removal for ordered binary matrices | Combinatorics | 4 | 4 | 0 | 0 | 0 | 0 | 2026-10-11 |
| 53 | The logarithmic Brunn–Minkowski conjecture | Convex geometry | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-11 |
| 53 | Petty's projection-volume conjecture | Convex geometry | 4 | 2 | 0 | 2 | 0 | 0 | 2026-10-10 |
| 53 | The 2-to-1 Games Conjecture | Computational complexity | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 53 | The David–Semmes problem in higher codimension | Harmonic analysis | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-10 |
| 53 | The Zariski cancellation problem over the complex numbers | Algebraic geometry | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 53 | The triangular Hilbert transform at the symmetric point | Harmonic analysis | 4 | 2 | 0 | 2 | 0 | 0 | 2026-10-10 |
| 81 | Almost-linear-time maximum matching in general graphs | Algorithms | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 81 | Brennan's conjecture | Complex analysis | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-16 |
| 81 | De Giorgi's conjecture | Partial differential equations | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 81 | GOE bulk universality for random regular graphs | Probability | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 81 | Modularity of elliptic curves over imaginary quadratic fields | Number theory | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 81 | Mutually unbiased bases in dimension six | Quantum information | 3 | 2 | 0 | 0 | 1 | 0 | 2026-10-16 |
| 81 | Optimal mixing of the Thorp shuffle | Probability | 3 | 1 | 0 | 1 | 1 | 0 | 2026-10-16 |
| 81 | Singular Bernoulli convolutions | Real analysis | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 81 | Smooth isometric immersions of surfaces into four-space | Differential geometry | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 81 | Sogge's local smoothing conjecture in three dimensions | Harmonic analysis | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 81 | Spacetime Penrose inequalities | Differential geometry | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 81 | The Benson–Etingof–Ostrik conjecture for finite tensor categories | Algebra | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 81 | The Deligne–Drinfeld conjecture | Algebra | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 81 | The abelian Zilber–Pink conjecture | Algebraic geometry | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 81 | The ordinary double point volume gap | Algebraic geometry | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-16 |
| 81 | The sharp constant in random triangle removal | Combinatorics | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 81 | The spin-one Haldane gap | Mathematical physics | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 81 | Sensitivity versus block sensitivity | Computational complexity | 3 | 3 | 0 | 0 | 0 | 0 | 2026-10-15 |
| 81 | Borsuk's conjecture | Discrete geometry | 3 | 1 | 0 | 0 | 0 | 2 | 2026-10-14 |
| 81 | Monochromatic finite sums and products in the positive integers | Combinatorics | 3 | 0 | 2 | 0 | 0 | 1 | 2026-10-14 |
| 81 | The little finitistic dimension conjecture | Representation theory of algebras | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-14 |
| 81 | The Euclidean Steinitz–Bergström conjecture | Discrete geometry | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-12 |
| 81 | Classical capacity of generalized amplitude damping | Quantum information | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-11 |
| 81 | Positive lower density of large prime gaps | Number theory | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-11 |
| 81 | Strong locality of unitary vertex operator algebras | Operator algebras | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 81 | The Erdős similarity conjecture | Real analysis | 3 | 3 | 0 | 0 | 0 | 0 | 2026-10-10 |
| 81 | The Gaussian moat problem | Number theory | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-10 |
| 81 | The Kervaire conjecture | Group theory | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 81 | The Lang–Plaut problem | Functional analysis | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 81 | The second Kahn–Kalai conjecture | Probability | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| 111 | Alperin's weight conjecture | Representation theory of algebras | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Donovan's conjecture | Representation theory of algebras | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Finite-time singularities of Calabi flow | Differential geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Goldfeld's conjecture for quadratic twists | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Hilbert's tenth problem over the rational numbers | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Kobayashi's canonical-ampleness conjecture | Complex analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Metric Markov cotype of ℓ1 | Functional analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Milne's rationality conjecture | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Serre's positivity conjecture for intersection multiplicities | Algebra | 2 | 0 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 111 | Smith–Toda complexes at every height | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The Gromov–Lawson aspherical conjecture | Differential geometry | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 111 | The Hovey–Strickland conjecture | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The Kervaire invariant problem at the prime three | Homotopy theory | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-16 |
| 111 | The LeBrun–Salamon conjecture | Differential geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The Oka property of complex K3 surfaces | Complex analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The abundance conjecture for threefolds in positive characteristic | Algebraic geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The chromatic splitting conjecture | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The critical dimension for one-phase Bernoulli minimizers | Partial differential equations | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The hyperkähler SYZ conjecture | Algebraic geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The ionization and generalized ionization conjectures | Mathematical physics | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The low-temperature Sherrington–Kirkpatrick fluctuation law | Probability | 2 | 0 | 0 | 1 | 0 | 1 | 2026-10-16 |
| 111 | The near-boundary Birkhoff conjecture | Dynamical systems | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | The random k-SAT satisfiability threshold | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 111 | Conformal invariance of square-lattice random-cluster interfaces | Probability | 2 | 1 | 0 | 0 | 1 | 0 | 2026-10-15 |
| 111 | Isomorphism of the free group factors | Operator algebras | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-15 |
| 111 | The Courtade–Kumar conjecture | Information theory | 2 | 1 | 0 | 0 | 0 | 1 | 2026-10-15 |
| 111 | Rigidity of the Turing degrees | Mathematical logic | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-12 |
| 111 | The hypercube Ramsey number has linear order | Combinatorics | 2 | 0 | 1 | 0 | 0 | 1 | 2026-10-11 |
| 111 | The periodic tiling conjecture in dimension three | Discrete geometry | 2 | 1 | 0 | 0 | 0 | 1 | 2026-10-11 |
| 111 | An exact Hausdorff gauge for SLE | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-10 |
| 111 | Free energies of random perceptrons | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-10 |
| 111 | Seymour's second-neighborhood conjecture | Combinatorics | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-10 |
| 111 | Long gaps between primes | Number theory | 2 | 1 | 1 | 0 | 0 | 0 | 2026-10-08 |
| 111 | The Erdős–Gallai cycle-decomposition conjecture | Combinatorics | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-08 |
| 145 | Anticanonical nonvanishing under smooth semipositivity | Algebraic geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Bi-Lipschitz charts at regular points of RCD spaces | Differential geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Bloch's conjecture for surfaces with geometric genus zero | Algebraic geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Bound states of the BFSS matrix model | Mathematical physics | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Curtis's conjecture | Homotopy theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Geometric Langlands and the generalized Ramanujan conjecture over function fields | Number theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | The Fontaine–Mazur conjecture at the prime 2 | Number theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | The Kakeya conjecture in three and four dimensions | Harmonic analysis | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | The higher-dimensional Duke problem for torus packets | Number theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | Yau's uniformization conjecture | Differential geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| 145 | The Grothendieck homotopy hypothesis | Homotopy theory | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-15 |
| 145 | The Solomon–Yau least-volume conjecture | Differential geometry | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-15 |
| 145 | Ostmann's inverse Goldbach conjecture | Number theory | 1 | 0 | 0 | 0 | 0 | 1 | 2026-10-11 |
| 145 | The higher-dimensional Erdős distinct-distances conjecture | Discrete geometry | 1 | 0 | 1 | 0 | 0 | 0 | 2026-10-10 |
| 145 | Classifying spaces and geometric obstructions for Artin groups | Group theory | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-09 |
| 145 | The cycle–clique Ramsey conjecture | Combinatorics | 1 | 0 | 0 | 0 | 0 | 1 | 2026-10-08 |
| 145 | The existential theory of the reals in the counting hierarchy | Computational complexity | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-07 |
| 162 | Griffiths' positivity conjecture | Algebraic geometry | 0 | 0 | 0 | 0 | 0 | 0 | — |
| 162 | The inhomogeneous Duffin–Schaeffer conjecture | Number theory | 0 | 0 | 0 | 0 | 0 | 0 | — |
How the counts are made
- Each row of a result page's follow-up table counts as one entry. A work that concerns several results appears on each of their pages and is counted once on each.
- Collection-wide efforts, such as the formal-statement review MathVet and the audit of the manuscripts without Lean, are counted on every page that lists them. They raise many counts by one or two.
- Rows that a page marks as earlier work, or as work cited by the original manuscript, are listed there for context and are not counted (8 rows at present).
- Entries are grouped by the relation stated in the table: extensions, uses and parallel work as research follow-ups; formalizations and implementations; reviews, verifications and replications; critiques and corrections; and catalogue entries, formal statements, citations, remarks and exposition.
- The counts describe what this wiki has recorded from public sources. They are not a measure of the importance or the correctness of a result, and a low count may only mean that follow-ups have not been found yet.