Results by number of public follow-ups: Difference between revisions
From OpenAI Aftermath
Automatic refresh from the published result pages (177 pages, 685 entries) |
Automatic refresh from the published result pages (180 pages, 700 entries) |
||
| Line 2: | Line 2: | ||
== Summary == | == Summary == | ||
* | * 180 result pages; 178 of them list at least one public follow-up. | ||
* | * 700 follow-up entries in total: | ||
** Research follow-ups: | ** Research follow-ups: 264 | ||
** Formalizations: 24 | ** Formalizations: 24 | ||
** Reviews and verifications: | ** Reviews and verifications: 333 | ||
** Critiques and corrections: | ** Critiques and corrections: 8 | ||
** Catalogue entries, citations and exposition: | ** Catalogue entries, citations and exposition: 71 | ||
== Results == | == Results == | ||
| Line 27: | Line 27: | ||
|- | |- | ||
| [[The Euclidean plane is not five-colorable]] || Discrete geometry || 8 || 5 || 0 || 0 || 1 || 2 || 2026-10-15 | | [[The Euclidean plane is not five-colorable]] || Discrete geometry || 8 || 5 || 0 || 0 || 1 || 2 || 2026-10-15 | ||
|- | |||
| [[Derandomization of logarithmic space]] || Computational complexity || 7 || 1 || 0 || 3 || 1 || 2 || 2026-10-20 | |||
|- | |- | ||
| [[The Harary–Hill and Zarankiewicz crossing-number conjectures]] || Combinatorics || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-18 | | [[The Harary–Hill and Zarankiewicz crossing-number conjectures]] || Combinatorics || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-18 | ||
| Line 45: | Line 47: | ||
|- | |- | ||
| [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 7 || 4 || 0 || 1 || 2 || 0 || 2026-10-16 | | [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 7 || 4 || 0 || 1 || 2 || 0 || 2026-10-16 | ||
|- | |||
| [[Approximate counting and entropy of perfect matchings]] || Algorithms || 6 || 1 || 0 || 5 || 0 || 0 || 2026-10-19 | |||
|- | |- | ||
| [[The Erdős unit distance and pinned distance problems]] || Discrete geometry || 6 || 2 || 0 || 3 || 0 || 1 || 2026-10-18 | | [[The Erdős unit distance and pinned distance problems]] || Discrete geometry || 6 || 2 || 0 || 3 || 0 || 1 || 2026-10-18 | ||
| Line 255: | Line 259: | ||
|- | |- | ||
| [[The second Kahn–Kalai conjecture]] || Probability || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | | [[The second Kahn–Kalai conjecture]] || Probability || 3 || 0 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |||
| [[Gersten's conjecture and virtual specialness of one-relator groups]] || Group theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-18 | |||
|- | |- | ||
| [[Alperin's weight conjecture]] || Representation theory of algebras || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16 | | [[Alperin's weight conjecture]] || Representation theory of algebras || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16 | ||
Revision as of 22:42, 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
- 180 result pages; 178 of them list at least one public follow-up.
- 700 follow-up entries in total:
- Research follow-ups: 264
- Formalizations: 24
- Reviews and verifications: 333
- Critiques and corrections: 8
- Catalogue entries, citations and exposition: 71
Results
| Result | Area | Follow-ups | Research | Formalizations | Reviews and verifications | Critiques and corrections | Catalogue, citations and exposition | Latest entry |
|---|---|---|---|---|---|---|---|---|
| The quasi-Riemann hypothesis | Number theory | 31 | 23 | 1 | 7 | 0 | 0 | 2026-10-19 |
| Kaplansky's direct-finiteness conjecture | Group theory | 9 | 4 | 0 | 3 | 0 | 2 | 2026-10-18 |
| Exact Fourier transforms below n log n | Algorithms | 9 | 8 | 0 | 1 | 0 | 0 | 2026-10-17 |
| Matrix multiplication with exponent at most 9/4 | Algebraic complexity | 9 | 7 | 0 | 2 | 0 | 0 | 2026-10-15 |
| Primitive roots for every admissible integer base | Number theory | 8 | 6 | 1 | 1 | 0 | 0 | 2026-10-19 |
| Pure-point spectrum of the two-dimensional Anderson model | Mathematical physics | 8 | 0 | 1 | 5 | 0 | 2 | 2026-10-16 |
| The Euclidean plane is not five-colorable | Discrete geometry | 8 | 5 | 0 | 0 | 1 | 2 | 2026-10-15 |
| Derandomization of logarithmic space | Computational complexity | 7 | 1 | 0 | 3 | 1 | 2 | 2026-10-20 |
| The Harary–Hill and Zarankiewicz crossing-number conjectures | Combinatorics | 7 | 3 | 0 | 3 | 0 | 1 | 2026-10-18 |
| Universal optimality of the triangular lattice | Discrete geometry | 7 | 2 | 0 | 3 | 0 | 2 | 2026-10-18 |
| Classification of finite Euclidean Ramsey configurations | Discrete geometry | 7 | 6 | 0 | 0 | 0 | 1 | 2026-10-17 |
| Prime-factor statistics of p − 1 | Number theory | 7 | 4 | 2 | 1 | 0 | 0 | 2026-10-17 |
| Uniform exclusion of Landau–Siegel zeros | Number theory | 7 | 3 | 0 | 3 | 0 | 1 | 2026-10-17 |
| Integer multiplication below n log n | Algorithms | 7 | 6 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Hilbert–Smith conjecture | Geometric topology | 7 | 2 | 2 | 2 | 0 | 1 | 2026-10-16 |
| The finitely presented Burnside problem | Group theory | 7 | 1 | 0 | 4 | 0 | 2 | 2026-10-16 |
| The rational Hodge conjecture for CM abelian varieties | Algebraic geometry | 7 | 4 | 0 | 1 | 2 | 0 | 2026-10-16 |
| Approximate counting and entropy of perfect matchings | Algorithms | 6 | 1 | 0 | 5 | 0 | 0 | 2026-10-19 |
| The Erdős unit distance and pinned distance problems | Discrete geometry | 6 | 2 | 0 | 3 | 0 | 1 | 2026-10-18 |
| The irrationality exponent of π is 2 | Number theory | 6 | 6 | 0 | 0 | 0 | 0 | 2026-10-18 |
| Approximate counting of common bases of two matroids | Algorithms | 6 | 1 | 0 | 5 | 0 | 0 | 2026-10-16 |
| Foulkes' conjecture | Algebra | 6 | 0 | 0 | 6 | 0 | 0 | 2026-10-16 |
| Nagata's conjecture on plane curves | Algebraic geometry | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Power-saving bounds for square-difference-free sets | Combinatorics | 6 | 2 | 0 | 3 | 0 | 1 | 2026-10-16 |
| Sidorenko's conjecture | Combinatorics | 6 | 3 | 0 | 3 | 0 | 0 | 2026-10-16 |
| The Toms–Winter conjecture | Operator algebras | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The affine Bernstein problem | Differential geometry | 6 | 1 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The two-point Chowla conjecture | Number theory | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Uniform bounds for limit cycles in Hilbert's sixteenth problem | Dynamical systems | 6 | 1 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The Falconer distance conjecture | Harmonic analysis | 6 | 3 | 0 | 3 | 0 | 0 | 2026-10-15 |
| A quadratic bound for Jacobsthal's function | Number theory | 6 | 2 | 0 | 2 | 0 | 2 | 2026-10-14 |
| Permanence of weakly reversible mass-action systems | Dynamical systems | 6 | 4 | 0 | 2 | 0 | 0 | 2026-10-11 |
| Reconstruction thresholds for Potts broadcasting on trees | Probability | 6 | 2 | 0 | 4 | 0 | 0 | 2026-10-11 |
| The Barendregt–Geuvers–Klop conjecture | Mathematical logic | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-19 |
| The triangular Hilbert transform at the symmetric point | Harmonic analysis | 5 | 3 | 0 | 2 | 0 | 0 | 2026-10-19 |
| The Unique Games Conjecture | Computational complexity | 5 | 3 | 0 | 2 | 0 | 0 | 2026-10-18 |
| Cylinder coverings below the half-area bound | Discrete geometry | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-17 |
| Bigeodesics in planar first-passage percolation | Probability | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| Black-box identity testing for noncommutative formulas | Algebraic complexity | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Bose–Einstein condensation in the dilute Bose gas | Mathematical physics | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| Irrationality of Catalan's constant | Number theory | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Lech's multiplicity conjecture | Algebra | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Mean-payoff games in quasipolynomial time | Algorithms | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| Naimark's problem | Operator algebras | 5 | 0 | 0 | 4 | 1 | 0 | 2026-10-16 |
| Scaling limits of critical Fortuin–Kasteleyn planar maps | Probability | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Stable blowup for the defocusing nonlinear Schrödinger equation | Partial differential equations | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The Birch and Swinnerton-Dyer formula in low Selmer corank | Number theory | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Boone–Higman conjecture | Group theory | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The Cartan–Hadamard isoperimetric conjecture | Differential geometry | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The Laughlin spectral gap | Mathematical physics | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Mahler conjectures | Convex geometry | 5 | 2 | 0 | 2 | 0 | 1 | 2026-10-16 |
| The hyperinvariant subspace problem | Functional analysis | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The one-dimensional Lieb–Thirring conjecture | Mathematical physics | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The optimal order of convex-body covering density | Convex geometry | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The separable quotient problem | Functional analysis | 5 | 0 | 0 | 4 | 0 | 1 | 2026-10-16 |
| The strong thin-tree conjecture | Combinatorics | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Thomason model structures on strict higher categories | Homotopy theory | 5 | 1 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Ultraflat real Littlewood polynomials | Harmonic analysis | 5 | 3 | 0 | 2 | 0 | 0 | 2026-10-16 |
| Worst-case Subset Sum below the meet-in-the-middle bound | Computational complexity | 5 | 4 | 0 | 1 | 0 | 0 | 2026-10-16 |
| A factor-two approximation for shortest common superstring | Algorithms | 5 | 1 | 4 | 0 | 0 | 0 | 2026-10-13 |
| The Ajtai–Erdős–Komlós–Szemerédi independence conjecture | Combinatorics | 5 | 1 | 0 | 3 | 0 | 1 | 2026-10-11 |
| Hardness of coloring three-colorable graphs | Computational complexity | 5 | 2 | 0 | 3 | 0 | 0 | 2026-10-10 |
| A cubic lower bound for the permanent versus the determinant | Algebraic complexity | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-16 |
| Absolutely continuous spectrum of the Anderson model in dimension at least three | Mathematical physics | 4 | 0 | 1 | 1 | 0 | 2 | 2026-10-16 |
| Barnette's conjecture | Combinatorics | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-16 |
| Connes' bicentralizer problem | Operator algebras | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-16 |
| Deterministic polynomial factorization over prime fields | Algorithms | 4 | 1 | 0 | 1 | 0 | 2 | 2026-10-16 |
| Mass generation in two-dimensional O(n) models | Mathematical physics | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-16 |
| Positively curved Einstein four-manifolds | Differential geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Regularity of infinity-harmonic functions | Partial differential equations | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-16 |
| Strong forms of the Arnold conjecture | Differential geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Talagrand's expectation-threshold and discrete-convexity conjectures | Combinatorics | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The Benjamini–Schramm percolation conjectures | Probability | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-16 |
| The Kollár–Pardon conjecture on semialgebraic universal covers | Algebraic geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| The area law for gapped ground states in two dimensions | Mathematical physics | 4 | 1 | 2 | 1 | 0 | 0 | 2026-10-16 |
| The generalized Lax conjecture | Convex geometry | 4 | 0 | 0 | 4 | 0 | 0 | 2026-10-16 |
| Wall's D(2) problem | Homotopy theory | 4 | 2 | 1 | 1 | 0 | 0 | 2026-10-16 |
| Bounded gaps between primes | Number theory | 4 | 2 | 0 | 0 | 0 | 2 | 2026-10-15 |
| The hot spots conjecture for simply connected planar domains | Partial differential equations | 4 | 4 | 0 | 0 | 0 | 0 | 2026-10-15 |
| Kaplansky's zero-divisor conjecture | Group theory | 4 | 3 | 0 | 1 | 0 | 0 | 2026-10-14 |
| Residual finiteness of hyperbolic groups | Group theory | 4 | 2 | 0 | 1 | 0 | 1 | 2026-10-13 |
| The complete Crouzeix conjecture | Functional analysis | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-13 |
| Thompson's group F is nonamenable | Group theory | 4 | 2 | 0 | 1 | 0 | 1 | 2026-10-13 |
| Hadwiger's conjecture | Combinatorics | 4 | 3 | 1 | 0 | 0 | 0 | 2026-10-12 |
| Endpoint Sobolev regularity of the centered maximal function | Harmonic analysis | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-11 |
| Polynomial removal for ordered binary matrices | Combinatorics | 4 | 4 | 0 | 0 | 0 | 0 | 2026-10-11 |
| The logarithmic Brunn–Minkowski conjecture | Convex geometry | 4 | 1 | 0 | 2 | 0 | 1 | 2026-10-11 |
| Petty's projection-volume conjecture | Convex geometry | 4 | 2 | 0 | 2 | 0 | 0 | 2026-10-10 |
| The 2-to-1 Games Conjecture | Computational complexity | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-10 |
| The David–Semmes problem in higher codimension | Harmonic analysis | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-10 |
| The Sakoda–Sipser problem | Computational complexity | 4 | 0 | 0 | 3 | 0 | 1 | 2026-10-10 |
| The Zariski cancellation problem over the complex numbers | Algebraic geometry | 4 | 1 | 0 | 3 | 0 | 0 | 2026-10-10 |
| Almost-linear-time maximum matching in general graphs | Algorithms | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Brennan's conjecture | Complex analysis | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-16 |
| De Giorgi's conjecture | Partial differential equations | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| Fourier extension for positively curved surfaces in three dimensions | Harmonic analysis | 3 | 0 | 0 | 1 | 0 | 2 | 2026-10-16 |
| GOE bulk universality for random regular graphs | Probability | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| Modularity of elliptic curves over imaginary quadratic fields | Number theory | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Mutually unbiased bases in dimension six | Quantum information | 3 | 2 | 0 | 0 | 1 | 0 | 2026-10-16 |
| Optimal mixing of the Thorp shuffle | Probability | 3 | 1 | 0 | 1 | 1 | 0 | 2026-10-16 |
| Singular Bernoulli convolutions | Real analysis | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Smooth isometric immersions of surfaces into four-space | Differential geometry | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| Sogge's local smoothing conjecture in three dimensions | Harmonic analysis | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| Spacetime Penrose inequalities | Differential geometry | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| The Benson–Etingof–Ostrik conjecture for finite tensor categories | Algebra | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| The Deligne–Drinfeld conjecture | Algebra | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-16 |
| The abelian Zilber–Pink conjecture | Algebraic geometry | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The ordinary double point volume gap | Algebraic geometry | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-16 |
| The sharp constant in random triangle removal | Combinatorics | 3 | 1 | 0 | 2 | 0 | 0 | 2026-10-16 |
| The spin-one Haldane gap | Mathematical physics | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Sensitivity versus block sensitivity | Computational complexity | 3 | 3 | 0 | 0 | 0 | 0 | 2026-10-15 |
| Borsuk's conjecture | Discrete geometry | 3 | 1 | 0 | 0 | 0 | 2 | 2026-10-14 |
| Monochromatic finite sums and products in the positive integers | Combinatorics | 3 | 0 | 2 | 0 | 0 | 1 | 2026-10-14 |
| The little finitistic dimension conjecture | Representation theory of algebras | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-14 |
| The Euclidean Steinitz–Bergström conjecture | Discrete geometry | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-12 |
| Classical capacity of generalized amplitude damping | Quantum information | 3 | 1 | 0 | 1 | 0 | 1 | 2026-10-11 |
| Positive lower density of large prime gaps | Number theory | 3 | 0 | 0 | 2 | 0 | 1 | 2026-10-11 |
| Strong locality of unitary vertex operator algebras | Operator algebras | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| The Erdős similarity conjecture | Real analysis | 3 | 3 | 0 | 0 | 0 | 0 | 2026-10-10 |
| The Gaussian moat problem | Number theory | 3 | 2 | 0 | 1 | 0 | 0 | 2026-10-10 |
| The Kervaire conjecture | Group theory | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| The Lang–Plaut problem | Functional analysis | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| The second Kahn–Kalai conjecture | Probability | 3 | 0 | 0 | 3 | 0 | 0 | 2026-10-10 |
| Gersten's conjecture and virtual specialness of one-relator groups | Group theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-18 |
| Alperin's weight conjecture | Representation theory of algebras | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| Donovan's conjecture | Representation theory of algebras | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Finite-time singularities of Calabi flow | Differential geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Geometric Langlands and the generalized Ramanujan conjecture over function fields | Number theory | 2 | 0 | 0 | 1 | 0 | 1 | 2026-10-16 |
| Goldfeld's conjecture for quadratic twists | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Hilbert's tenth problem over the rational numbers | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Infinitely many closed geodesics on Riemannian spheres | Differential geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Kobayashi's canonical-ampleness conjecture | Complex analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Metric Markov cotype of ℓ1 | Functional analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Milne's rationality conjecture | Number theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Serre's positivity conjecture for intersection multiplicities | Algebra | 2 | 0 | 0 | 1 | 0 | 1 | 2026-10-16 |
| Smith–Toda complexes at every height | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Gromov–Lawson aspherical conjecture | Differential geometry | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-16 |
| The Hovey–Strickland conjecture | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Kervaire invariant problem at the prime three | Homotopy theory | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-16 |
| The LeBrun–Salamon conjecture | Differential geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Mumford–Shah conjecture | Partial differential equations | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Oka property of complex K3 surfaces | Complex analysis | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Phillips–Toms conjecture | Operator algebras | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The abundance conjecture for threefolds in positive characteristic | Algebraic geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The chromatic splitting conjecture | Homotopy theory | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The critical dimension for one-phase Bernoulli minimizers | Partial differential equations | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| The hyperkähler SYZ conjecture | Algebraic geometry | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The ionization and generalized ionization conjectures | Mathematical physics | 2 | 0 | 1 | 1 | 0 | 0 | 2026-10-16 |
| The low-temperature Sherrington–Kirkpatrick fluctuation law | Probability | 2 | 0 | 0 | 1 | 0 | 1 | 2026-10-16 |
| The near-boundary Birkhoff conjecture | Dynamical systems | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The random k-SAT satisfiability threshold | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Conformal invariance of square-lattice random-cluster interfaces | Probability | 2 | 1 | 0 | 0 | 1 | 0 | 2026-10-15 |
| Isomorphism of the free group factors | Operator algebras | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-15 |
| The Courtade–Kumar conjecture | Information theory | 2 | 1 | 0 | 0 | 0 | 1 | 2026-10-15 |
| Rigidity of the Turing degrees | Mathematical logic | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-12 |
| The hypercube Ramsey number has linear order | Combinatorics | 2 | 0 | 1 | 0 | 0 | 1 | 2026-10-11 |
| The periodic tiling conjecture in dimension three | Discrete geometry | 2 | 1 | 0 | 0 | 0 | 1 | 2026-10-11 |
| An exact Hausdorff gauge for SLE | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-10 |
| Free energies of random perceptrons | Probability | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-10 |
| Seymour's second-neighborhood conjecture | Combinatorics | 2 | 0 | 0 | 2 | 0 | 0 | 2026-10-10 |
| Long gaps between primes | Number theory | 2 | 1 | 1 | 0 | 0 | 0 | 2026-10-08 |
| The Erdős–Gallai cycle-decomposition conjecture | Combinatorics | 2 | 1 | 0 | 1 | 0 | 0 | 2026-10-08 |
| Anticanonical nonvanishing under smooth semipositivity | Algebraic geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Bi-Lipschitz charts at regular points of RCD spaces | Differential geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Bloch's conjecture for surfaces with geometric genus zero | Algebraic geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Bound states of the BFSS matrix model | Mathematical physics | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Curtis's conjecture | Homotopy theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Fontaine–Mazur conjecture at the prime 2 | Number theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Kakeya conjecture in three and four dimensions | Harmonic analysis | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The higher-dimensional Duke problem for torus packets | Number theory | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| Yau's uniformization conjecture | Differential geometry | 1 | 0 | 0 | 1 | 0 | 0 | 2026-10-16 |
| The Grothendieck homotopy hypothesis | Homotopy theory | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-15 |
| The Solomon–Yau least-volume conjecture | Differential geometry | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-15 |
| Ostmann's inverse Goldbach conjecture | Number theory | 1 | 0 | 0 | 0 | 0 | 1 | 2026-10-11 |
| The higher-dimensional Erdős distinct-distances conjecture | Discrete geometry | 1 | 0 | 1 | 0 | 0 | 0 | 2026-10-10 |
| Classifying spaces and geometric obstructions for Artin groups | Group theory | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-09 |
| The cycle–clique Ramsey conjecture | Combinatorics | 1 | 0 | 0 | 0 | 0 | 1 | 2026-10-08 |
| The existential theory of the reals in the counting hierarchy | Computational complexity | 1 | 1 | 0 | 0 | 0 | 0 | 2026-10-07 |
| Griffiths' positivity conjecture | Algebraic geometry | 0 | 0 | 0 | 0 | 0 | 0 | — |
| 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.
