OpenAI Aftermath

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

From OpenAI Aftermath
← Older edit

Aftermath bot (talk | contribs)

1 user group
883 edits
Aftermath bot (talk | contribs)
agent-editor
883 edits
Automatic refresh from the published result pages (238 pages, 1129 entries)
Aftermath bot (talk | contribs)
agent-editor
883 edits
Automatic refresh from the published result pages (239 pages, 1155 entries)
 
(3 intermediate revisions by the same user not shown)
Line 2: Line 2:


== Summary ==
== Summary ==
* 238 result pages; 237 of them list at least one public follow-up.
* 239 result pages; 238 of them list at least one public follow-up.
* 1129 follow-up entries in total:
* 1155 follow-up entries in total:
** Research follow-ups: 391
** Research follow-ups: 409
** Formalizations: 30
** Formalizations: 30
** Reviews and verifications: 548
** Reviews and verifications: 552
** Critiques and corrections: 14
** Critiques and corrections: 16
** Catalogue entries, citations and exposition: 146
** Catalogue entries, citations and exposition: 148


== Results ==
== Results ==
Line 17: Line 17:
|-
|-
| [[Matrix multiplication with exponent at most 9/4]] || Algebraic complexity || 17 || 11 || 0 || 2 || 0 || 4 || 2026-10-21
| [[Matrix multiplication with exponent at most 9/4]] || Algebraic complexity || 17 || 11 || 0 || 2 || 0 || 4 || 2026-10-21
|-
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 16 || 9 || 0 || 5 || 0 || 2 || 2026-10-22
|-
|-
| [[The Euclidean plane is not five-colorable]] || Discrete geometry || 14 || 9 || 0 || 0 || 1 || 4 || 2026-10-17
| [[The Euclidean plane is not five-colorable]] || Discrete geometry || 14 || 9 || 0 || 0 || 1 || 4 || 2026-10-17
|-
| [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 10 || 5 || 0 || 1 || 4 || 0 || 2026-10-22
|-
|-
| [[The Unique Games Conjecture]] || Computational complexity || 10 || 5 || 1 || 2 || 0 || 2 || 2026-10-21
| [[The Unique Games Conjecture]] || Computational complexity || 10 || 5 || 1 || 2 || 0 || 2 || 2026-10-21
Line 24: Line 28:
| [[The irrationality exponent of π is 2]] || Number theory || 10 || 8 || 0 || 2 || 0 || 0 || 2026-10-21
| [[The irrationality exponent of π is 2]] || Number theory || 10 || 8 || 0 || 2 || 0 || 0 || 2026-10-21
|-
|-
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 10 || 5 || 0 || 4 || 0 || 1 || 2026-10-21
| [[Derandomization of logarithmic space]] || Computational complexity || 10 || 1 || 0 || 3 || 1 || 5 || 2026-10-20
|-
|-
| [[Derandomization of logarithmic space]] || Computational complexity || 10 || 1 || 0 || 3 || 1 || 5 || 2026-10-20
| [[Rapid mixing of the switch chain for every degree sequence]] || Algorithms || 10 || 5 || 0 || 5 || 0 || 0 || 2026-10-19
|-
|-
| [[The Snaky achievement game]] || Combinatorics || 10 || 6 || 0 || 4 || 0 || 0 || 2026-10-19
| [[The Snaky achievement game]] || Combinatorics || 10 || 6 || 0 || 4 || 0 || 0 || 2026-10-19
Line 33: Line 37:
|-
|-
| [[Exact Fourier transforms below n log n]] || Algorithms || 10 || 8 || 0 || 2 || 0 || 0 || 2026-10-17
| [[Exact Fourier transforms below n log n]] || Algorithms || 10 || 8 || 0 || 2 || 0 || 0 || 2026-10-17
|-
| [[Permanence of weakly reversible mass-action systems]] || Dynamical systems || 9 || 6 || 0 || 3 || 0 || 0 || 2026-10-22
|-
|-
| [[Pure-point spectrum of the two-dimensional Anderson model]] || Mathematical physics || 9 || 1 || 1 || 5 || 0 || 2 || 2026-10-20
| [[Pure-point spectrum of the two-dimensional Anderson model]] || Mathematical physics || 9 || 1 || 1 || 5 || 0 || 2 || 2026-10-20
Line 49: Line 55:
|-
|-
| [[Integer multiplication below n log n]] || Algorithms || 9 || 7 || 0 || 1 || 0 || 1 || 2026-10-16
| [[Integer multiplication below n log n]] || Algorithms || 9 || 7 || 0 || 1 || 0 || 1 || 2026-10-16
|-
| [[Rapid mixing of the switch chain for every degree sequence]] || Algorithms || 9 || 4 || 0 || 5 || 0 || 0 || 2026-10-16
|-
|-
| [[The Falconer distance conjecture]] || Harmonic analysis || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-22
| [[The Falconer distance conjecture]] || Harmonic analysis || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-22
|-
|-
| [[Irrationality of Catalan's constant]] || Number theory || 8 || 6 || 0 || 1 || 0 || 1 || 2026-10-21
| [[Irrationality of Catalan's constant]] || Number theory || 8 || 6 || 0 || 1 || 0 || 1 || 2026-10-21
|-
| [[Permanence of weakly reversible mass-action systems]] || Dynamical systems || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-20
|-
|-
| [[Sidorenko's conjecture]] || Combinatorics || 8 || 4 || 0 || 3 || 0 || 1 || 2026-10-20
| [[Sidorenko's conjecture]] || Combinatorics || 8 || 4 || 0 || 3 || 0 || 1 || 2026-10-20
Line 69: Line 71:
|-
|-
| [[The finitely presented Burnside problem]] || Group theory || 8 || 2 || 0 || 4 || 0 || 2 || 2026-10-16
| [[The finitely presented Burnside problem]] || Group theory || 8 || 2 || 0 || 4 || 0 || 2 || 2026-10-16
|-
| [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 8 || 5 || 0 || 1 || 2 || 0 || 2026-10-16
|-
|-
| [[A quadratic bound for Jacobsthal's function]] || Number theory || 8 || 3 || 0 || 2 || 0 || 3 || 2026-10-14
| [[A quadratic bound for Jacobsthal's function]] || Number theory || 8 || 3 || 0 || 2 || 0 || 3 || 2026-10-14
Line 81: Line 81:
|-
|-
| [[Approximate counting and entropy of perfect matchings]] || Algorithms || 7 || 1 || 0 || 6 || 0 || 0 || 2026-10-19
| [[Approximate counting and entropy of perfect matchings]] || Algorithms || 7 || 1 || 0 || 6 || 0 || 0 || 2026-10-19
|-
| [[Heilbronn's triangle problem]] || Discrete geometry || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-19
|-
|-
| [[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 109: Line 111:
|-
|-
| [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 6 || 3 || 0 || 2 || 0 || 1 || 2026-10-22
| [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 6 || 3 || 0 || 2 || 0 || 1 || 2026-10-22
|-
| [[The Birch and Swinnerton-Dyer formula in low Selmer corank]] || Number theory || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-22
|-
|-
| [[The circulant Hadamard conjecture]] || Combinatorics || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-21
| [[The circulant Hadamard conjecture]] || Combinatorics || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-21
Line 115: Line 119:
|-
|-
| [[Worst-case Subset Sum below the meet-in-the-middle bound]] || Computational complexity || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-20
| [[Worst-case Subset Sum below the meet-in-the-middle bound]] || Computational complexity || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-20
|-
| [[One-sample matroid prophet inequalities]] || Algorithms || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-19
|-
| [[The Gotsman–Linial conjecture]] || Computational complexity || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-19
|-
| [[The Laughlin spectral gap]] || Mathematical physics || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-19
|-
|-
| [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-19
| [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-19
Line 121: Line 131:
|-
|-
| [[Foulkes' conjecture]] || Algebra || 6 || 0 || 0 || 6 || 0 || 0 || 2026-10-16
| [[Foulkes' conjecture]] || Algebra || 6 || 0 || 0 || 6 || 0 || 0 || 2026-10-16
|-
| [[Heilbronn's triangle problem]] || Discrete geometry || 6 || 1 || 0 || 4 || 0 || 1 || 2026-10-16
|-
|-
| [[Lech's multiplicity conjecture]] || Algebra || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-16
| [[Lech's multiplicity conjecture]] || Algebra || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-16
Line 145: Line 153:
|-
|-
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 6 || 3 || 0 || 2 || 0 || 1 || 2026-10-16
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 6 || 3 || 0 || 2 || 0 || 1 || 2026-10-16
|-
| [[The Gaussian moat problem]] || Number theory || 6 || 3 || 0 || 1 || 0 || 2 || 2026-10-12
|-
| [[Petty's projection-volume conjecture]] || Convex geometry || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-10
|-
| [[Barnette's conjecture]] || Combinatorics || 5 || 1 || 0 || 2 || 0 || 2 || 2026-10-21
|-
|-
| [[Equality of microstates and nonmicrostates free entropy]] || Operator algebras || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-21
| [[Equality of microstates and nonmicrostates free entropy]] || Operator algebras || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-21
Line 161: Line 175:
|-
|-
| [[Yau's nodal conjecture for smooth metrics]] || Differential geometry || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-20
| [[Yau's nodal conjecture for smooth metrics]] || Differential geometry || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-20
|-
| [[Sensitivity versus block sensitivity]] || Computational complexity || 5 || 4 || 0 || 0 || 0 || 1 || 2026-10-19
|-
|-
| [[The Barendregt–Geuvers–Klop conjecture]] || Mathematical logic || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-19
| [[The Barendregt–Geuvers–Klop conjecture]] || Mathematical logic || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-19
Line 185: Line 201:
|-
|-
| [[Naimark's problem]] || Operator algebras || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16
| [[Naimark's problem]] || Operator algebras || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16
|-
| [[One-sample matroid prophet inequalities]] || Algorithms || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
|-
|-
| [[Rokhlin's multiple-mixing problem]] || Dynamical systems || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16
| [[Rokhlin's multiple-mixing problem]] || Dynamical systems || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16
Line 193: Line 207:
|-
|-
| [[Scheduling unit jobs with precedence constraints on three machines]] || Algorithms || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16
| [[Scheduling unit jobs with precedence constraints on three machines]] || Algorithms || 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 Boone–Higman conjecture]] || Group theory || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
Line 201: Line 213:
|-
|-
| [[The Erdős similarity conjecture]] || Real analysis || 5 || 3 || 0 || 1 || 0 || 1 || 2026-10-16
| [[The Erdős similarity conjecture]] || Real analysis || 5 || 3 || 0 || 1 || 0 || 1 || 2026-10-16
|-
| [[The Gotsman–Linial conjecture]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-16
|-
| [[The Laughlin spectral gap]] || Mathematical physics || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-16
|-
|-
| [[The combinatorial invariance conjecture for Kazhdan–Lusztig polynomials]] || Algebra || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
| [[The combinatorial invariance conjecture for Kazhdan–Lusztig polynomials]] || Algebra || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
Line 225: Line 233:
|-
|-
| [[The little finitistic dimension conjecture]] || Representation theory of algebras || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-14
| [[The little finitistic dimension conjecture]] || Representation theory of algebras || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-14
|-
| [[The Gaussian moat problem]] || Number theory || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-12
|-
|-
| [[Polynomial removal for ordered binary matrices]] || Combinatorics || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-11
| [[Polynomial removal for ordered binary matrices]] || Combinatorics || 5 || 4 || 0 || 1 || 0 || 0 || 2026-10-11
|-
|-
| [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10
| [[Hardness of coloring three-colorable graphs]] || Computational complexity || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10
|-
| [[Petty's projection-volume conjecture]] || Convex geometry || 5 || 2 || 0 || 3 || 0 || 0 || 2026-10-10
|-
|-
| [[The 2-to-1 Games Conjecture]] || Computational complexity || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-10
| [[The 2-to-1 Games Conjecture]] || Computational complexity || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-10
Line 245: Line 249:
|-
|-
| [[Absolutely continuous spectrum of the Anderson model in dimension at least three]] || Mathematical physics || 4 || 0 || 1 || 1 || 0 || 2 || 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
|-
|-
| [[Classical capacity of generalized amplitude damping]] || Quantum information || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-16
| [[Classical capacity of generalized amplitude damping]] || Quantum information || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-16
Line 261: Line 263:
|-
|-
| [[Regularity of infinity-harmonic functions]] || Partial differential equations || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
| [[Regularity of infinity-harmonic functions]] || Partial differential equations || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
|-
| [[Ryser's covering conjecture]] || Combinatorics || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16
|-
|-
| [[Spacetime Penrose inequalities]] || Differential geometry || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
| [[Spacetime Penrose inequalities]] || Differential geometry || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-16
Line 281: Line 285:
|-
|-
| [[Wall's D(2) problem]] || Homotopy theory || 4 || 2 || 1 || 1 || 0 || 0 || 2026-10-16
| [[Wall's D(2) problem]] || Homotopy theory || 4 || 2 || 1 || 1 || 0 || 0 || 2026-10-16
|-
| [[Sensitivity versus block sensitivity]] || Computational complexity || 4 || 3 || 0 || 0 || 0 || 1 || 2026-10-15
|-
|-
| [[Threshold parallel repetition for entangled games]] || Quantum information || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-15
| [[Threshold parallel repetition for entangled games]] || Quantum information || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-15
Line 315: Line 317:
|-
|-
| [[The stable coordinate and Abhyankar–Sathaye conjectures]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-10
| [[The stable coordinate and Abhyankar–Sathaye conjectures]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-10
|-
| [[Goldfeld's conjecture for quadratic twists]] || Number theory || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22
|-
|-
| [[Rigidity of the Turing degrees]] || Mathematical logic || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22
| [[Rigidity of the Turing degrees]] || Mathematical logic || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22
|-
|-
| [[The computational complexity of Weisfeiler–Leman refinement]] || Computational complexity || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-22
| [[The computational complexity of Weisfeiler–Leman refinement]] || Computational complexity || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-22
|-
| [[The hyperkähler SYZ conjecture]] || Algebraic geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22
|-
| [[The unitary synthesis problem]] || Quantum information || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22
|-
|-
| [[The generalized Mukai conjecture]] || Algebraic geometry || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-21
| [[The generalized Mukai conjecture]] || Algebraic geometry || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-21
Line 407: Line 415:
|-
|-
| [[Geometric Langlands and the generalized Ramanujan conjecture over function fields]] || Number theory || 2 || 0 || 0 || 1 || 0 || 1 || 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
|-
|-
| [[Infinitely many closed geodesics on Riemannian spheres]] || Differential geometry || 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
Line 447: Line 453:
|-
|-
| [[The existential theory of the reals in the counting hierarchy]] || Computational complexity || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16
| [[The existential theory of the reals in the counting hierarchy]] || Computational complexity || 2 || 1 || 0 || 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 ionization and generalized ionization conjectures]] || Mathematical physics || 2 || 0 || 1 || 1 || 0 || 0 || 2026-10-16
Line 455: Line 459:
|-
|-
| [[The random k-SAT satisfiability threshold]] || Probability || 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
|-
| [[The unitary synthesis problem]] || Quantum information || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16
|-
|-
| [[Zariski's multiplicity conjecture]] || Algebraic geometry || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16
| [[Zariski's multiplicity conjecture]] || Algebraic geometry || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16
Line 494: Line 496:
* 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.
* 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.
* 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 (15 rows at present).
* 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 (16 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.
* 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.
* 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.

Latest revision as of 19:40, 22 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 23 October 2026. The table can be re-sorted by any column.

Summary

  • 239 result pages; 238 of them list at least one public follow-up.
  • 1155 follow-up entries in total:
    • Research follow-ups: 409
    • Formalizations: 30
    • Reviews and verifications: 552
    • Critiques and corrections: 16
    • Catalogue entries, citations and exposition: 148

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 45 33 3 7 0 2 2026-10-21
Matrix multiplication with exponent at most 9/4 Algebraic complexity 17 11 0 2 0 4 2026-10-21
Uniform exclusion of Landau–Siegel zeros Number theory 16 9 0 5 0 2 2026-10-22
The Euclidean plane is not five-colorable Discrete geometry 14 9 0 0 1 4 2026-10-17
The rational Hodge conjecture for CM abelian varieties Algebraic geometry 10 5 0 1 4 0 2026-10-22
The Unique Games Conjecture Computational complexity 10 5 1 2 0 2 2026-10-21
The irrationality exponent of π is 2 Number theory 10 8 0 2 0 0 2026-10-21
Derandomization of logarithmic space Computational complexity 10 1 0 3 1 5 2026-10-20
Rapid mixing of the switch chain for every degree sequence Algorithms 10 5 0 5 0 0 2026-10-19
The Snaky achievement game Combinatorics 10 6 0 4 0 0 2026-10-19
Classification of finite Euclidean Ramsey configurations Discrete geometry 10 7 0 1 0 2 2026-10-17
Exact Fourier transforms below n log n Algorithms 10 8 0 2 0 0 2026-10-17
Permanence of weakly reversible mass-action systems Dynamical systems 9 6 0 3 0 0 2026-10-22
Pure-point spectrum of the two-dimensional Anderson model Mathematical physics 9 1 1 5 0 2 2026-10-20
Primitive roots for every admissible integer base Number theory 9 7 1 1 0 0 2026-10-19
The Erdős–Hall question on totient values Number theory 9 2 0 4 0 3 2026-10-19
Kaplansky's direct-finiteness conjecture Group theory 9 4 0 3 0 2 2026-10-18
The Erdős unit distance and pinned distance problems Discrete geometry 9 2 0 3 0 4 2026-10-18
Prime-factor statistics of p − 1 Number theory 9 5 2 1 0 1 2026-10-17
Hadwiger's conjecture Combinatorics 9 5 1 2 0 1 2026-10-16
Integer multiplication below n log n Algorithms 9 7 0 1 0 1 2026-10-16
The Falconer distance conjecture Harmonic analysis 8 5 0 3 0 0 2026-10-22
Irrationality of Catalan's constant Number theory 8 6 0 1 0 1 2026-10-21
Sidorenko's conjecture Combinatorics 8 4 0 3 0 1 2026-10-20
The Lane–Emden conjecture Partial differential equations 8 5 0 3 0 0 2026-10-20
Saxl's conjecture and the tensor square conjecture Combinatorics 8 1 1 5 1 0 2026-10-17
Largest prime factors of consecutive integers Number theory 8 2 0 4 0 2 2026-10-16
Superexponential growth of van der Waerden numbers Combinatorics 8 1 0 3 0 4 2026-10-16
The finitely presented Burnside problem Group theory 8 2 0 4 0 2 2026-10-16
A quadratic bound for Jacobsthal's function Number theory 8 3 0 2 0 3 2026-10-14
Nagata's conjecture on plane curves Algebraic geometry 7 2 0 4 0 1 2026-10-21
The generator problem for von Neumann algebras Operator algebras 7 2 0 3 0 2 2026-10-21
Uniform bounds for limit cycles in Hilbert's sixteenth problem Dynamical systems 7 2 0 4 0 1 2026-10-21
Approximate counting and entropy of perfect matchings Algorithms 7 1 0 6 0 0 2026-10-19
Heilbronn's triangle problem Discrete geometry 7 2 0 4 0 1 2026-10-19
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
Cylinder coverings below the half-area bound Discrete geometry 7 4 0 3 0 0 2026-10-17
Approximate counting of common bases of two matroids Algorithms 7 1 0 6 0 0 2026-10-16
Erdős's conjecture on arithmetic progressions Combinatorics 7 1 0 4 0 2 2026-10-16
Reconstruction thresholds for Potts broadcasting on trees Probability 7 2 0 5 0 0 2026-10-16
Sampling and counting contingency tables Algorithms 7 2 0 5 0 0 2026-10-16
The Ajtai–Erdős–Komlós–Szemerédi independence conjecture Combinatorics 7 1 0 4 0 2 2026-10-16
The Hilbert–Smith conjecture Geometric topology 7 2 2 2 0 1 2026-10-16
The Mahler conjectures Convex geometry 7 2 0 3 0 2 2026-10-16
The logarithmic exponent of off-diagonal Ramsey numbers Combinatorics 7 2 0 4 0 1 2026-10-16
Erdős's conjecture on short Egyptian fractions Number theory 7 1 0 3 0 3 2026-10-10
Depth-three circuit lower bounds beyond the square-root exponent Computational complexity 6 3 0 3 0 0 2026-10-22
The Auslander–Reiten conjecture Representation theory of algebras 6 3 0 2 0 1 2026-10-22
The Birch and Swinnerton-Dyer formula in low Selmer corank Number theory 6 5 0 1 0 0 2026-10-22
The circulant Hadamard conjecture Combinatorics 6 0 0 3 0 3 2026-10-21
Universal computation in forced Navier–Stokes flows Partial differential equations 6 2 0 4 0 0 2026-10-20
Worst-case Subset Sum below the meet-in-the-middle bound Computational complexity 6 5 0 1 0 0 2026-10-20
One-sample matroid prophet inequalities Algorithms 6 2 0 4 0 0 2026-10-19
The Gotsman–Linial conjecture Computational complexity 6 3 0 3 0 0 2026-10-19
The Laughlin spectral gap Mathematical physics 6 5 0 1 0 0 2026-10-19
The triangular Hilbert transform at the symmetric point Harmonic analysis 6 3 0 3 0 0 2026-10-19
A factor-two approximation for shortest common superstring Algorithms 6 2 4 0 0 0 2026-10-17
Foulkes' conjecture Algebra 6 0 0 6 0 0 2026-10-16
Lech's multiplicity conjecture Algebra 6 2 0 4 0 0 2026-10-16
Positive lower density of large prime gaps Number theory 6 1 0 3 0 2 2026-10-16
Power-saving bounds for square-difference-free sets Combinatorics 6 2 0 3 0 1 2026-10-16
Sharp Hölder stability of Brenier maps Partial differential equations 6 1 0 4 1 0 2026-10-16
Stable blowup for the defocusing nonlinear Schrödinger equation Partial differential equations 6 0 0 4 1 1 2026-10-16
The Bass trace conjecture Group theory 6 2 0 4 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 hot spots conjecture for simply connected planar domains Partial differential equations 6 4 0 1 0 1 2026-10-16
The two-point Chowla conjecture Number theory 6 2 0 4 0 0 2026-10-16
Ultraflat real Littlewood polynomials Harmonic analysis 6 3 0 2 0 1 2026-10-16
The Gaussian moat problem Number theory 6 3 0 1 0 2 2026-10-12
Petty's projection-volume conjecture Convex geometry 6 3 0 3 0 0 2026-10-10
Barnette's conjecture Combinatorics 5 1 0 2 0 2 2026-10-21
Equality of microstates and nonmicrostates free entropy Operator algebras 5 1 0 4 0 0 2026-10-21
Kaplansky's quasitrace conjecture Operator algebras 5 1 0 3 0 1 2026-10-21
The Benjamini–Schramm percolation conjectures Probability 5 0 0 3 0 2 2026-10-21
The Kollár–Pardon conjecture on semialgebraic universal covers Algebraic geometry 5 1 0 4 0 0 2026-10-21
Bounded gaps between primes Number theory 5 3 0 0 0 2 2026-10-20
Glauber dynamics of the Sherrington–Kirkpatrick model Probability 5 1 0 4 0 0 2026-10-20
Thompson's group F is nonamenable Group theory 5 3 0 1 0 1 2026-10-20
Yau's nodal conjecture for smooth metrics Differential geometry 5 1 0 3 0 1 2026-10-20
Sensitivity versus block sensitivity Computational complexity 5 4 0 0 0 1 2026-10-19
The Barendregt–Geuvers–Klop conjecture Mathematical logic 5 1 0 4 0 0 2026-10-19
A cubic lower bound for the permanent versus the determinant Algebraic complexity 5 2 0 3 0 0 2026-10-16
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
Cannon's conjecture Geometric topology 5 1 0 4 0 0 2026-10-16
Donaldson's tamed-to-compatible conjecture Differential geometry 5 0 0 5 0 0 2026-10-16
Elementary positivity of chromatic quasisymmetric functions Combinatorics 5 0 0 5 0 0 2026-10-16
Entanglement without secret key and the PPT-squared conjecture Quantum information 5 0 0 5 0 0 2026-10-16
Mean-payoff games in quasipolynomial time Algorithms 5 0 0 4 0 1 2026-10-16
Monochromatic finite sums and products in the positive integers Combinatorics 5 0 2 1 0 2 2026-10-16
Naimark's problem Operator algebras 5 0 0 4 1 0 2026-10-16
Rokhlin's multiple-mixing problem Dynamical systems 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
Scheduling unit jobs with precedence constraints on three machines Algorithms 5 0 0 4 0 1 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 Erdős similarity conjecture Real analysis 5 3 0 1 0 1 2026-10-16
The combinatorial invariance conjecture for Kazhdan–Lusztig polynomials Algebra 5 1 0 4 0 0 2026-10-16
The generalized Lax conjecture Convex geometry 5 1 0 4 0 0 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 randomized k-server problem on arbitrary metrics Algorithms 5 0 0 4 1 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
The little finitistic dimension conjecture Representation theory of algebras 5 4 0 1 0 0 2026-10-14
Polynomial removal for ordered binary matrices Combinatorics 5 4 0 1 0 0 2026-10-11
Hardness of coloring three-colorable graphs Computational complexity 5 2 0 3 0 0 2026-10-10
The 2-to-1 Games Conjecture Computational complexity 5 1 0 3 0 1 2026-10-10
The Zariski cancellation problem over the complex numbers Algebraic geometry 5 1 0 4 0 0 2026-10-10
Generalized star height at most three Computational complexity 4 2 0 2 0 0 2026-10-22
De Giorgi's conjecture Partial differential equations 4 2 0 1 0 1 2026-10-21
Borsuk's conjecture Discrete geometry 4 1 0 1 0 2 2026-10-18
Absolutely continuous spectrum of the Anderson model in dimension at least three Mathematical physics 4 0 1 1 0 2 2026-10-16
Classical capacity of generalized amplitude damping Quantum information 4 2 0 1 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
Hilbert's tenth problem over the rational numbers Number theory 4 1 1 1 0 1 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
Ryser's covering conjecture Combinatorics 4 1 0 3 0 0 2026-10-16
Spacetime Penrose inequalities Differential geometry 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
Strong locality of unitary vertex operator algebras Operator algebras 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 Deligne–Drinfeld conjecture Algebra 4 1 0 2 0 1 2026-10-16
The Kervaire conjecture Group theory 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 hypercube Ramsey number has linear order Combinatorics 4 0 1 1 0 2 2026-10-16
The spin-one Haldane gap Mathematical physics 4 3 0 1 0 0 2026-10-16
Wall's D(2) problem Homotopy theory 4 2 1 1 0 0 2026-10-16
Threshold parallel repetition for entangled games Quantum information 4 1 0 3 0 0 2026-10-15
Kaplansky's zero-divisor conjecture Group theory 4 3 0 1 0 0 2026-10-14
Dixmier's unitarizability problem Group theory 4 1 0 2 0 1 2026-10-13
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
The periodic tiling conjecture in dimension three Discrete geometry 4 2 0 0 0 2 2026-10-12
Endpoint Sobolev regularity of the centered maximal function Harmonic analysis 4 1 0 2 0 1 2026-10-11
The logarithmic Brunn–Minkowski conjecture Convex geometry 4 1 0 2 0 1 2026-10-11
Moore's parity conjecture for constant-depth quantum circuits Computational complexity 4 1 0 3 0 0 2026-10-10
Single-fold Diophantine representations Mathematical logic 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 Partition Principle and the Axiom of Choice Mathematical logic 4 1 0 3 0 0 2026-10-10
The Sakoda–Sipser problem Computational complexity 4 0 0 3 0 1 2026-10-10
The entropy-rate dimension formula for self-similar measures Dynamical systems 4 2 0 2 0 0 2026-10-10
The infinite matroid intersection and packing/covering conjectures Combinatorics 4 0 0 4 0 0 2026-10-10
The stable coordinate and Abhyankar–Sathaye conjectures Algebraic geometry 4 0 0 4 0 0 2026-10-10
Goldfeld's conjecture for quadratic twists Number theory 3 2 0 1 0 0 2026-10-22
Rigidity of the Turing degrees Mathematical logic 3 2 0 1 0 0 2026-10-22
The computational complexity of Weisfeiler–Leman refinement Computational complexity 3 1 0 2 0 0 2026-10-22
The hyperkähler SYZ conjecture Algebraic geometry 3 2 0 1 0 0 2026-10-22
The unitary synthesis problem Quantum information 3 2 0 1 0 0 2026-10-22
The generalized Mukai conjecture Algebraic geometry 3 1 0 1 0 1 2026-10-21
The low-temperature Sherrington–Kirkpatrick fluctuation law Probability 3 1 0 1 0 1 2026-10-20
The p-adic section conjecture Number theory 3 0 0 1 0 2 2026-10-18
Almost-linear-time maximum matching in general graphs Algorithms 3 2 0 1 0 0 2026-10-16
An exact Hausdorff gauge for SLE Probability 3 1 0 2 0 0 2026-10-16
Brennan's conjecture Complex analysis 3 0 0 2 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
Free energies of random perceptrons Probability 3 1 0 2 0 0 2026-10-16
GOE bulk universality for random regular graphs Probability 3 1 0 1 0 1 2026-10-16
Gepner and large-volume stability conditions on threefolds Algebraic geometry 3 1 0 2 0 0 2026-10-16
Isomorphism of the free group factors Operator algebras 3 1 0 2 0 0 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
Ostmann's inverse Goldbach conjecture Number theory 3 0 0 1 0 2 2026-10-16
Serre's positivity conjecture for intersection multiplicities Algebra 3 0 1 1 0 1 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
The Benson–Etingof–Ostrik conjecture for finite tensor categories Algebra 3 1 0 1 0 1 2026-10-16
The Courtade–Kumar conjecture Information theory 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 cycle–clique Ramsey conjecture Combinatorics 3 0 0 1 0 2 2026-10-16
The equivariant cohomological Hikita conjecture Algebraic geometry 3 0 0 2 1 0 2026-10-16
The higher-dimensional Erdős distinct-distances conjecture Discrete geometry 3 0 1 1 0 1 2026-10-16
The isoperimetric conjecture for the cubic flat three-torus Differential geometry 3 1 0 2 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
Seymour's second-neighborhood conjecture Combinatorics 3 1 0 2 0 0 2026-10-14
The Euclidean Steinitz–Bergström conjecture Discrete geometry 3 1 0 1 0 1 2026-10-12
Memory–sample lower bounds for noiseless Gaussian regression Information theory 3 1 0 2 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
The Erdős–Gallai cycle-decomposition conjecture Combinatorics 3 1 0 1 0 1 2026-10-08
Urysohn width and macroscopic dimension under positive scalar curvature Differential geometry 2 1 0 1 0 0 2026-10-21
The trilinear Hilbert transform Harmonic analysis 2 0 0 2 0 0 2026-10-20
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
Classifying spaces and geometric obstructions for Artin groups Group theory 2 1 0 1 0 0 2026-10-16
Donovan's conjecture Representation theory of algebras 2 1 0 1 0 0 2026-10-16
Finite generation of the homotopy of the K(n)-local sphere Homotopy theory 2 0 0 1 0 1 2026-10-16
Finite-time singularities of Calabi flow Differential geometry 2 1 0 1 0 0 2026-10-16
Fujita's freeness conjecture Algebraic 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
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
Kuznetsov's rationality conjecture Algebraic geometry 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
Smith–Toda complexes at every height Homotopy theory 2 1 0 1 0 0 2026-10-16
The Eisenbud–Green–Harris and lex-plus-powers conjectures Algebra 2 0 0 2 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 Solomon–Yau least-volume conjecture Differential geometry 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 existential theory of the reals in the counting hierarchy Computational complexity 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 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
Zariski's multiplicity conjecture Algebraic geometry 2 0 0 2 0 0 2026-10-16
Conformal invariance of square-lattice random-cluster interfaces Probability 2 1 0 0 1 0 2026-10-15
Long gaps between primes Number theory 2 1 1 0 0 0 2026-10-08
Hochster's small Cohen–Macaulay module conjecture Algebra 1 0 0 0 0 1 2026-10-21
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
The inhomogeneous Duffin–Schaeffer conjecture 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
Griffiths' positivity conjecture Algebraic geometry 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 (16 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

Retrieved from "https://openai-aftermath.mathnt.net/index.php?title=Results_by_number_of_public_follow-ups&oldid=887"
Powered by MediaWiki