Results by number of public follow-ups: Difference between revisions

From OpenAI Aftermath
Aftermath bot (talk | contribs)
Regenerated from the result pages (133 pages, 517 entries)
Aftermath bot (talk | contribs)
Automatic refresh from the published result pages (133 pages, 519 entries)
Line 3: Line 3:
== Summary ==
== Summary ==
* 133 result pages; 131 of them list at least one public follow-up.
* 133 result pages; 131 of them list at least one public follow-up.
* 517 follow-up entries in total:
* 519 follow-up entries in total:
** Research follow-ups: 225
** Research follow-ups: 227
** Formalizations: 24
** Formalizations: 24
** Reviews and verifications: 207
** Reviews and verifications: 207
Line 14: Line 14:
! Rank !! Result !! Area !! Follow-ups !! Research !! Formalizations !! Reviews and verifications !! Critiques and corrections !! Catalogue, citations and exposition !! Latest entry
! 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 || 30 || 24 || 1 || 4 || 0 || 1 || 2026-10-17
| 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
| 2 || [[Localization and delocalization in the Anderson model]] || Mathematical physics || 10 || 0 || 2 || 5 || 0 || 3 || 2026-10-16
Line 69: Line 69:
|-
|-
| 27 || [[Cylinder coverings below the half-area bound]] || Discrete geometry || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-17
| 27 || [[Cylinder coverings below the half-area bound]] || Discrete geometry || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-17
|-
| 27 || [[Black-box identity testing for noncommutative formulas]] || Algebraic complexity || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
|-
|-
| 27 || [[Bose–Einstein condensation in the dilute Bose gas]] || Mathematical physics || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16
| 27 || [[Bose–Einstein condensation in the dilute Bose gas]] || Mathematical physics || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16
Line 98: Line 100:
| 27 || [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10
| 27 || [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10
|-
|-
| 43 || [[A cubic lower bound for the permanent versus the determinant]] || Algebraic complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16
| 44 || [[A cubic lower bound for the permanent versus the determinant]] || Algebraic complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16
|-
| 43 || [[Barnette's conjecture]] || Combinatorics || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
|-
|-
| 43 || [[Black-box identity testing for noncommutative formulas]] || Algebraic complexity || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16
| 44 || [[Barnette's conjecture]] || Combinatorics || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
|-
|-
| 43 || [[Connes' bicentralizer problem]] || Operator algebras || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16
| 44 || [[Connes' bicentralizer problem]] || Operator algebras || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16
|-
|-
| 43 || [[Deterministic polynomial factorization over prime fields]] || Algorithms || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16
| 44 || [[Deterministic polynomial factorization over prime fields]] || Algorithms || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16
|-
|-
| 43 || [[Mass generation in two-dimensional O(n) models]] || Mathematical physics || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16
| 44 || [[Mass generation in two-dimensional O(n) models]] || Mathematical physics || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16
|-
|-
| 43 || [[Regularity of infinity-harmonic functions]] || Partial differential equations || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
| 44 || [[Regularity of infinity-harmonic functions]] || Partial differential equations || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
|-
|-
| 43 || [[The Benjamini–Schramm percolation conjectures]] || Probability || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16
| 44 || [[The Benjamini–Schramm percolation conjectures]] || Probability || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-16
|-
|-
| 43 || [[The Kollár–Pardon conjecture on semialgebraic universal covers]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16
| 44 || [[The Kollár–Pardon conjecture on semialgebraic universal covers]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-16
|-
|-
| 43 || [[The Unique Games Conjecture]] || Computational complexity || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-16
| 44 || [[The Unique Games Conjecture]] || Computational complexity || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-16
|-
|-
| 43 || [[The area law for gapped ground states in two dimensions]] || Mathematical physics || 4 || 1 || 2 || 1 || 0 || 0 || 2026-10-16
| 44 || [[The area law for gapped ground states in two dimensions]] || Mathematical physics || 4 || 1 || 2 || 1 || 0 || 0 || 2026-10-16
|-
|-
| 43 || [[Wall's D(2) problem]] || Homotopy theory || 4 || 2 || 1 || 1 || 0 || 0 || 2026-10-16
| 44 || [[Wall's D(2) problem]] || Homotopy theory || 4 || 2 || 1 || 1 || 0 || 0 || 2026-10-16
|-
|-
| 43 || [[Bounded gaps between primes]] || Number theory || 4 || 2 || 0 || 0 || 0 || 2 || 2026-10-15
| 44 || [[Bounded gaps between primes]] || Number theory || 4 || 2 || 0 || 0 || 0 || 2 || 2026-10-15
|-
|-
| 43 || [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-15
| 44 || [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-15
|-
|-
| 43 || [[Kaplansky's zero-divisor conjecture]] || Group theory || 4 || 3 || 0 || 1 || 0 || 0 || 2026-10-14
| 44 || [[Kaplansky's zero-divisor conjecture]] || Group theory || 4 || 3 || 0 || 1 || 0 || 0 || 2026-10-14
|-
|-
| 43 || [[Residual finiteness of hyperbolic groups]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13
| 44 || [[Residual finiteness of hyperbolic groups]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13
|-
|-
| 43 || [[Thompson's group F is nonamenable]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13
| 44 || [[Thompson's group F is nonamenable]] || Group theory || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-13
|-
|-
| 43 || [[Hadwiger's conjecture]] || Combinatorics || 4 || 3 || 1 || 0 || 0 || 0 || 2026-10-12
| 44 || [[Hadwiger's conjecture]] || Combinatorics || 4 || 3 || 1 || 0 || 0 || 0 || 2026-10-12
|-
|-
| 43 || [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11
| 44 || [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11
|-
|-
| 43 || [[Polynomial removal for ordered binary matrices]] || Combinatorics || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-11
| 44 || [[Polynomial removal for ordered binary matrices]] || Combinatorics || 4 || 4 || 0 || 0 || 0 || 0 || 2026-10-11
|-
|-
| 43 || [[The logarithmic Brunn–Minkowski conjecture]] || Convex geometry || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11
| 44 || [[The logarithmic Brunn–Minkowski conjecture]] || Convex geometry || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-11
|-
|-
| 43 || [[The 2-to-1 Games Conjecture]] || Computational complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-10
| 44 || [[The 2-to-1 Games Conjecture]] || Computational complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-10
|-
|-
| 43 || [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-10
| 44 || [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-10
|-
|-
| 66 || [[Brennan's conjecture]] || Complex analysis || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16
| 66 || [[Brennan's conjecture]] || Complex analysis || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16

Revision as of 07:01, 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 19 October 2026. The table can be re-sorted by any column.

Summary

  • 133 result pages; 131 of them list at least one public follow-up.
  • 519 follow-up entries in total:
    • Research follow-ups: 227
    • Formalizations: 24
    • Reviews and verifications: 207
    • Critiques and corrections: 6
    • Catalogue entries, citations and exposition: 55

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 Foulkes' conjecture Algebra 6 0 0 6 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 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
27 The Barendregt–Geuvers–Klop conjecture Mathematical logic 5 1 0 4 0 0 2026-10-19
27 Cylinder coverings below the half-area bound Discrete geometry 5 4 0 1 0 0 2026-10-17
27 Black-box identity testing for noncommutative formulas Algebraic complexity 5 1 0 4 0 0 2026-10-16
27 Bose–Einstein condensation in the dilute Bose gas Mathematical physics 5 0 0 4 0 1 2026-10-16
27 Irrationality of Catalan's constant Number theory 5 4 0 1 0 0 2026-10-16
27 Lech's multiplicity conjecture Algebra 5 1 0 4 0 0 2026-10-16
27 Scaling limits of critical Fortuin–Kasteleyn planar maps Probability 5 1 0 4 0 0 2026-10-16
27 The Birch and Swinnerton-Dyer formula in low Selmer corank Number theory 5 4 0 1 0 0 2026-10-16
27 The Laughlin spectral gap Mathematical physics 5 4 0 1 0 0 2026-10-16
27 The Mahler conjectures Convex geometry 5 2 0 2 0 1 2026-10-16
27 The hyperinvariant subspace problem Functional analysis 5 0 0 4 0 1 2026-10-16
27 The separable quotient problem Functional analysis 5 0 0 4 0 1 2026-10-16
27 Ultraflat real Littlewood polynomials Harmonic analysis 5 3 0 2 0 0 2026-10-16
27 Worst-case Subset Sum below the meet-in-the-middle bound Computational complexity 5 4 0 1 0 0 2026-10-16
27 A factor-two approximation for shortest common superstring Algorithms 5 1 4 0 0 0 2026-10-13
27 The Ajtai–Erdős–Komlós–Szemerédi independence conjecture Combinatorics 5 1 0 3 0 1 2026-10-11
27 Hardness of coloring three-colorable graphs Computational complexity 5 2 0 3 0 0 2026-10-10
44 A cubic lower bound for the permanent versus the determinant Algebraic complexity 4 1 0 3 0 0 2026-10-16
44 Barnette's conjecture Combinatorics 4 1 0 2 0 1 2026-10-16
44 Connes' bicentralizer problem Operator algebras 4 1 0 3 0 0 2026-10-16
44 Deterministic polynomial factorization over prime fields Algorithms 4 1 0 1 0 2 2026-10-16
44 Mass generation in two-dimensional O(n) models Mathematical physics 4 0 0 3 0 1 2026-10-16
44 Regularity of infinity-harmonic functions Partial differential equations 4 1 0 2 0 1 2026-10-16
44 The Benjamini–Schramm percolation conjectures Probability 4 0 0 3 0 1 2026-10-16
44 The Kollár–Pardon conjecture on semialgebraic universal covers Algebraic geometry 4 0 0 4 0 0 2026-10-16
44 The Unique Games Conjecture Computational complexity 4 2 0 2 0 0 2026-10-16
44 The area law for gapped ground states in two dimensions Mathematical physics 4 1 2 1 0 0 2026-10-16
44 Wall's D(2) problem Homotopy theory 4 2 1 1 0 0 2026-10-16
44 Bounded gaps between primes Number theory 4 2 0 0 0 2 2026-10-15
44 The hot spots conjecture for simply connected planar domains Partial differential equations 4 4 0 0 0 0 2026-10-15
44 Kaplansky's zero-divisor conjecture Group theory 4 3 0 1 0 0 2026-10-14
44 Residual finiteness of hyperbolic groups Group theory 4 2 0 1 0 1 2026-10-13
44 Thompson's group F is nonamenable Group theory 4 2 0 1 0 1 2026-10-13
44 Hadwiger's conjecture Combinatorics 4 3 1 0 0 0 2026-10-12
44 Endpoint Sobolev regularity of the centered maximal function Harmonic analysis 4 1 0 2 0 1 2026-10-11
44 Polynomial removal for ordered binary matrices Combinatorics 4 4 0 0 0 0 2026-10-11
44 The logarithmic Brunn–Minkowski conjecture Convex geometry 4 1 0 2 0 1 2026-10-11
44 The 2-to-1 Games Conjecture Computational complexity 4 1 0 3 0 0 2026-10-10
44 The triangular Hilbert transform at the symmetric point Harmonic analysis 4 2 0 2 0 0 2026-10-10
66 Brennan's conjecture Complex analysis 3 0 0 2 0 1 2026-10-16
66 De Giorgi's conjecture Partial differential equations 3 1 0 1 0 1 2026-10-16
66 GOE bulk universality for random regular graphs Probability 3 1 0 1 0 1 2026-10-16
66 Modularity of elliptic curves over imaginary quadratic fields Number theory 3 2 0 1 0 0 2026-10-16
66 Mutually unbiased bases in dimension six Quantum information 3 2 0 0 1 0 2026-10-16
66 Optimal mixing of the Thorp shuffle Probability 3 1 0 1 1 0 2026-10-16
66 Smooth isometric immersions of surfaces into four-space Differential geometry 3 1 0 2 0 0 2026-10-16
66 Spacetime Penrose inequalities Differential geometry 3 1 0 2 0 0 2026-10-16
66 The Benson–Etingof–Ostrik conjecture for finite tensor categories Algebra 3 1 0 1 0 1 2026-10-16
66 The Deligne–Drinfeld conjecture Algebra 3 1 0 1 0 1 2026-10-16
66 The abelian Zilber–Pink conjecture Algebraic geometry 3 2 0 1 0 0 2026-10-16
66 The ordinary double point volume gap Algebraic geometry 3 0 0 2 0 1 2026-10-16
66 The sharp constant in random triangle removal Combinatorics 3 1 0 2 0 0 2026-10-16
66 The spin-one Haldane gap Mathematical physics 3 2 0 1 0 0 2026-10-16
66 Sensitivity versus block sensitivity Computational complexity 3 3 0 0 0 0 2026-10-15
66 Borsuk's conjecture Discrete geometry 3 1 0 0 0 2 2026-10-14
66 Monochromatic finite sums and products in the positive integers Combinatorics 3 0 2 0 0 1 2026-10-14
66 The little finitistic dimension conjecture Representation theory of algebras 3 2 0 1 0 0 2026-10-14
66 The Euclidean Steinitz–Bergström conjecture Discrete geometry 3 1 0 1 0 1 2026-10-12
66 Classical capacity of generalized amplitude damping Quantum information 3 1 0 1 0 1 2026-10-11
66 Positive lower density of large prime gaps Number theory 3 0 0 2 0 1 2026-10-11
66 Strong locality of unitary vertex operator algebras Operator algebras 3 0 0 3 0 0 2026-10-10
66 The Erdős similarity conjecture Real analysis 3 3 0 0 0 0 2026-10-10
66 The Gaussian moat problem Number theory 3 2 0 1 0 0 2026-10-10
66 The Kervaire conjecture Group theory 3 0 0 3 0 0 2026-10-10
91 Alperin's weight conjecture Representation theory of algebras 2 0 1 1 0 0 2026-10-16
91 Donovan's conjecture Representation theory of algebras 2 1 0 1 0 0 2026-10-16
91 Finite-time singularities of Calabi flow Differential geometry 2 1 0 1 0 0 2026-10-16
91 Goldfeld's conjecture for quadratic twists Number theory 2 1 0 1 0 0 2026-10-16
91 Hilbert's tenth problem over the rational numbers Number theory 2 1 0 1 0 0 2026-10-16
91 Milne's rationality conjecture Number theory 2 1 0 1 0 0 2026-10-16
91 Smith–Toda complexes at every height Homotopy theory 2 1 0 1 0 0 2026-10-16
91 The Gromov–Lawson aspherical conjecture Differential geometry 2 0 0 2 0 0 2026-10-16
91 The Hovey–Strickland conjecture Homotopy theory 2 1 0 1 0 0 2026-10-16
91 The Kervaire invariant problem at the prime three Homotopy theory 2 0 0 2 0 0 2026-10-16
91 The chromatic splitting conjecture Homotopy theory 2 1 0 1 0 0 2026-10-16
91 The critical dimension for one-phase Bernoulli minimizers Partial differential equations 2 0 1 1 0 0 2026-10-16
91 The ionization and generalized ionization conjectures Mathematical physics 2 0 1 1 0 0 2026-10-16
91 The low-temperature Sherrington–Kirkpatrick fluctuation law Probability 2 0 0 1 0 1 2026-10-16
91 The random k-SAT satisfiability threshold Probability 2 1 0 1 0 0 2026-10-16
91 Conformal invariance of square-lattice random-cluster interfaces Probability 2 1 0 0 1 0 2026-10-15
91 Isomorphism of the free group factors Operator algebras 2 1 0 1 0 0 2026-10-15
91 The Courtade–Kumar conjecture Information theory 2 1 0 0 0 1 2026-10-15
91 Rigidity of the Turing degrees Mathematical logic 2 1 0 1 0 0 2026-10-12
91 The hypercube Ramsey number has linear order Combinatorics 2 0 1 0 0 1 2026-10-11
91 The periodic tiling conjecture in dimension three Discrete geometry 2 1 0 0 0 1 2026-10-11
91 An exact Hausdorff gauge for SLE Probability 2 1 0 1 0 0 2026-10-10
91 Free energies of random perceptrons Probability 2 1 0 1 0 0 2026-10-10
91 Seymour's second-neighborhood conjecture Combinatorics 2 0 0 2 0 0 2026-10-10
91 Long gaps between primes Number theory 2 1 1 0 0 0 2026-10-08
91 The Erdős–Gallai cycle-decomposition conjecture Combinatorics 2 1 0 1 0 0 2026-10-08
117 Anticanonical nonvanishing under smooth semipositivity Algebraic geometry 1 0 0 1 0 0 2026-10-16
117 Bi-Lipschitz charts at regular points of RCD spaces Differential geometry 1 0 0 1 0 0 2026-10-16
117 Bound states of the BFSS matrix model Mathematical physics 1 0 0 1 0 0 2026-10-16
117 Curtis's conjecture Homotopy theory 1 0 0 1 0 0 2026-10-16
117 Geometric Langlands and the generalized Ramanujan conjecture over function fields Number theory 1 0 0 1 0 0 2026-10-16
117 The Fontaine–Mazur conjecture at the prime 2 Number theory 1 0 0 1 0 0 2026-10-16
117 The Kakeya conjecture in three and four dimensions Harmonic analysis 1 0 0 1 0 0 2026-10-16
117 The higher-dimensional Duke problem for torus packets Number theory 1 0 0 1 0 0 2026-10-16
117 The Grothendieck homotopy hypothesis Homotopy theory 1 1 0 0 0 0 2026-10-15
117 The Solomon–Yau least-volume conjecture Differential geometry 1 1 0 0 0 0 2026-10-15
117 Ostmann's inverse Goldbach conjecture Number theory 1 0 0 0 0 1 2026-10-11
117 The higher-dimensional Erdős distinct-distances conjecture Discrete geometry 1 0 1 0 0 0 2026-10-10
117 Classifying spaces and geometric obstructions for Artin groups Group theory 1 1 0 0 0 0 2026-10-09
117 The cycle–clique Ramsey conjecture Combinatorics 1 0 0 0 0 1 2026-10-08
117 The existential theory of the reals in the counting hierarchy Computational complexity 1 1 0 0 0 0 2026-10-07
132 Griffiths' positivity conjecture Algebraic geometry 0 0 0 0 0 0 —
132 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 (7 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.

See also