Results by number of public follow-ups: Difference between revisions
From OpenAI Aftermath
Automatic refresh from the published result pages (246 pages, 1194 entries) |
Automatic refresh from the published result pages (249 pages, 1220 entries) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
== Summary == | == Summary == | ||
* | * 249 result pages; 248 of them list at least one public follow-up. | ||
* | * 1220 follow-up entries in total: | ||
** Research follow-ups: | ** Research follow-ups: 442 | ||
** Formalizations: 30 | ** Formalizations: 30 | ||
** Reviews and verifications: | ** Reviews and verifications: 579 | ||
** Critiques and corrections: | ** Critiques and corrections: 17 | ||
** Catalogue entries, citations and exposition: 152 | ** Catalogue entries, citations and exposition: 152 | ||
| Line 14: | Line 14: | ||
! Result !! Area !! Follow-ups !! Research !! Formalizations !! Reviews and verifications !! Critiques and corrections !! Catalogue, citations and exposition !! Latest entry | ! Result !! Area !! Follow-ups !! Research !! Formalizations !! Reviews and verifications !! Critiques and corrections !! Catalogue, citations and exposition !! Latest entry | ||
|- | |- | ||
| [[The quasi-Riemann hypothesis]] || Number theory || | | [[The quasi-Riemann hypothesis]] || Number theory || 47 || 34 || 3 || 8 || 0 || 2 || 2026-10-22 | ||
|- | |- | ||
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || | | [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 18 || 11 || 0 || 5 || 0 || 2 || 2026-10-23 | ||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[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 irrationality exponent of π is 2]] || Number theory || 11 || 9 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 10 || 5 || 0 || 1 || 4 || 0 || 2026-10-22 | | [[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 | ||
|- | |- | ||
| [[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 | ||
| Line 63: | Line 63: | ||
|- | |- | ||
| [[The Lane–Emden conjecture]] || Partial differential equations || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-20 | | [[The Lane–Emden conjecture]] || Partial differential equations || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-20 | ||
|- | |||
| [[The Hilbert–Smith conjecture]] || Geometric topology || 8 || 3 || 2 || 2 || 0 || 1 || 2026-10-18 | |||
|- | |- | ||
| [[Saxl's conjecture and the tensor square conjecture]] || Combinatorics || 8 || 1 || 1 || 5 || 1 || 0 || 2026-10-17 | | [[Saxl's conjecture and the tensor square conjecture]] || Combinatorics || 8 || 1 || 1 || 5 || 1 || 0 || 2026-10-17 | ||
| Line 73: | Line 75: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[Worst-case Subset Sum below the meet-in-the-middle bound]] || Computational complexity || 7 || 5 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 7 || 4 || 0 || 2 || 0 || 1 || 2026-10-22 | | [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 7 || 4 || 0 || 2 || 0 || 1 || 2026-10-22 | ||
|- | |||
| [[Mutually unbiased bases in dimension six]] || Quantum information || 7 || 5 || 0 || 1 || 1 || 0 || 2026-10-21 | |||
|- | |- | ||
| [[Nagata's conjecture on plane curves]] || Algebraic geometry || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-21 | | [[Nagata's conjecture on plane curves]] || Algebraic geometry || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-21 | ||
| Line 105: | Line 111: | ||
|- | |- | ||
| [[The Erdős similarity conjecture]] || Real analysis || 7 || 5 || 0 || 1 || 0 || 1 || 2026-10-16 | | [[The Erdős similarity conjecture]] || Real analysis || 7 || 5 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The Mahler conjectures]] || Convex geometry || 7 || 2 || 0 || 3 || 0 || 2 || 2026-10-16 | | [[The Mahler conjectures]] || Convex geometry || 7 || 2 || 0 || 3 || 0 || 2 || 2026-10-16 | ||
| Line 121: | Line 125: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[Thompson's group F is nonamenable]] || Group theory || 6 || 4 || 0 || 1 || 0 || 1 || 2026-10-20 | |||
|- | |- | ||
| [[Universal computation in forced Navier–Stokes flows]] || Partial differential equations || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-20 | | [[Universal computation in forced Navier–Stokes flows]] || Partial differential equations || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-20 | ||
|- | |- | ||
| [[One-sample matroid prophet inequalities]] || Algorithms || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-19 | | [[One-sample matroid prophet inequalities]] || Algorithms || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-19 | ||
| Line 161: | Line 165: | ||
|- | |- | ||
| [[Petty's projection-volume conjecture]] || Convex geometry || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-10 | | [[Petty's projection-volume conjecture]] || Convex geometry || 6 || 3 || 0 || 3 || 0 || 0 || 2026-10-10 | ||
|- | |||
| [[The spin-one Haldane gap]] || Mathematical physics || 5 || 3 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |||
| [[The strong isotropic constant conjecture]] || Convex geometry || 5 || 2 || 0 || 2 || 0 || 1 || 2026-10-23 | |||
|- | |||
| [[Wall's D(2) problem]] || Homotopy theory || 5 || 2 || 1 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[Mass generation in two-dimensional O(n) models]] || Mathematical physics || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-22 | | [[Mass generation in two-dimensional O(n) models]] || Mathematical physics || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-22 | ||
| Line 177: | Line 187: | ||
|- | |- | ||
| [[Glauber dynamics of the Sherrington–Kirkpatrick model]] || Probability || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-20 | | [[Glauber dynamics of the Sherrington–Kirkpatrick model]] || Probability || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-20 | ||
|- | |- | ||
| [[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 | ||
| Line 203: | Line 211: | ||
|- | |- | ||
| [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 5 || 0 || 2 || 1 || 0 || 2 || 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 | | [[Naimark's problem]] || Operator algebras || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16 | ||
| Line 215: | Line 221: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[Strong forms of the Arnold conjecture]] || Differential geometry || 5 || 1 || 0 || 4 || 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 249: | Line 257: | ||
|- | |- | ||
| [[The Gaussian propeller conjecture]] || Probability || 5 || 2 || 0 || 2 || 0 || 1 || 2026-10-10 | | [[The Gaussian propeller conjecture]] || Probability || 5 || 2 || 0 || 2 || 0 || 1 || 2026-10-10 | ||
|- | |||
| [[The Partition Principle and the Axiom of Choice]] || Mathematical logic || 5 || 1 || 0 || 3 || 1 || 0 || 2026-10-10 | |||
|- | |- | ||
| [[The Zariski cancellation problem over the complex numbers]] || Algebraic geometry || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-10 | | [[The Zariski cancellation problem over the complex numbers]] || Algebraic geometry || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-10 | ||
|- | |||
| [[Singular Bernoulli convolutions]] || Real analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |||
| [[Zariski's multiplicity conjecture]] || Algebraic geometry || 4 || 0 || 0 || 4 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[Generalized star height at most three]] || Computational complexity || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-22 | | [[Generalized star height at most three]] || Computational complexity || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-22 | ||
| Line 265: | Line 279: | ||
|- | |- | ||
| [[Deterministic polynomial factorization over prime fields]] || Algorithms || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | | [[Deterministic polynomial factorization over prime fields]] || Algorithms || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | ||
|- | |||
| [[Exponential semidefinite complexity of perfect matching]] || Computational complexity || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | |||
|- | |- | ||
| [[Hilbert's tenth problem over the rational numbers]] || Number theory || 4 || 1 || 1 || 1 || 0 || 1 || 2026-10-16 | | [[Hilbert's tenth problem over the rational numbers]] || Number theory || 4 || 1 || 1 || 1 || 0 || 1 || 2026-10-16 | ||
| Line 275: | Line 291: | ||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[Strong locality of unitary vertex operator algebras]] || Operator algebras || 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 | ||
| Line 289: | Line 303: | ||
|- | |- | ||
| [[The hypercube Ramsey number has linear order]] || Combinatorics || 4 || 0 || 1 || 1 || 0 || 2 || 2026-10-16 | | [[The hypercube Ramsey number has linear order]] || Combinatorics || 4 || 0 || 1 || 1 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[Yau's harmonic dimension comparison problem]] || Differential geometry || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | | [[Yau's harmonic dimension comparison problem]] || Differential geometry || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | ||
| Line 319: | Line 327: | ||
|- | |- | ||
| [[The Lang–Plaut problem]] || Functional analysis || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-10 | | [[The Lang–Plaut problem]] || Functional analysis || 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 Sakoda–Sipser problem]] || Computational complexity || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-10 | ||
| Line 330: | Line 336: | ||
| [[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 | ||
|- | |- | ||
| [[ | | [[Finite-time singularities of Calabi flow]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-23 | ||
|- | |||
| [[The chromatic splitting conjecture]] || Homotopy theory || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[Fujita's freeness conjecture]] || Algebraic geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22 | | [[Fujita's freeness conjecture]] || Algebraic geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-22 | ||
| Line 347: | Line 355: | ||
|- | |- | ||
| [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-20 | | [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-20 | ||
|- | |||
| [[Infinitely many closed geodesics on Riemannian spheres]] || Differential geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-19 | |||
|- | |- | ||
| [[The p-adic section conjecture]] || Number theory || 3 || 0 || 0 || 1 || 0 || 2 || 2026-10-18 | | [[The p-adic section conjecture]] || Number theory || 3 || 0 || 0 || 1 || 0 || 2 || 2026-10-18 | ||
| Line 373: | Line 383: | ||
|- | |- | ||
| [[Serre's positivity conjecture for intersection multiplicities]] || Algebra || 3 || 0 || 1 || 1 || 0 || 1 || 2026-10-16 | | [[Serre's positivity conjecture for intersection multiplicities]] || Algebra || 3 || 0 || 1 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[Smooth isometric immersions of surfaces into four-space]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | | [[Smooth isometric immersions of surfaces into four-space]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
| Line 409: | Line 417: | ||
|- | |- | ||
| [[The Erdős–Gallai cycle-decomposition conjecture]] || Combinatorics || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-08 | | [[The Erdős–Gallai cycle-decomposition conjecture]] || Combinatorics || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-08 | ||
|- | |||
| [[The Campana–Peternell conjecture]] || Algebraic geometry || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-23 | |||
|- | |- | ||
| [[Urysohn width and macroscopic dimension under positive scalar curvature]] || Differential geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-21 | | [[Urysohn width and macroscopic dimension under positive scalar curvature]] || Differential geometry || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-21 | ||
| Line 423: | Line 433: | ||
|- | |- | ||
| [[Finite generation of the homotopy of the K(n)-local sphere]] || Homotopy theory || 2 || 0 || 0 || 1 || 0 || 1 || 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 | ||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[Kobayashi's canonical-ampleness conjecture]] || Complex analysis || 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 | ||
| Line 443: | Line 449: | ||
|- | |- | ||
| [[The Gromov–Lawson aspherical conjecture]] || Differential geometry || 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 Hahn–Wilson conjecture]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | |||
|- | |- | ||
| [[The Hovey–Strickland conjecture]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | | [[The Hovey–Strickland conjecture]] || Homotopy theory || 2 || 1 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
| Line 461: | Line 469: | ||
|- | |- | ||
| [[The abundance conjecture for threefolds in positive characteristic]] || Algebraic 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 critical dimension for one-phase Bernoulli minimizers]] || Partial differential equations || 2 || 0 || 1 || 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 | ||
Latest revision as of 15:32, 23 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 24 October 2026. The table can be re-sorted by any column.
Summary
- 249 result pages; 248 of them list at least one public follow-up.
- 1220 follow-up entries in total:
- Research follow-ups: 442
- Formalizations: 30
- Reviews and verifications: 579
- Critiques and corrections: 17
- Catalogue entries, citations and exposition: 152
Results
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.
