Results by number of public follow-ups: Difference between revisions
From OpenAI Aftermath
Automatic refresh from the published result pages (376 pages, 2766 entries) |
Automatic refresh from the published result pages (376 pages, 2804 entries) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
== Summary == | == Summary == | ||
* 376 result pages; 376 of them list at least one public follow-up. | * 376 result pages; 376 of them list at least one public follow-up. | ||
* | * 2804 follow-up entries in total: | ||
** Research follow-ups: | ** Research follow-ups: 628 | ||
** Formalizations: 33 | ** Formalizations: 33 | ||
** Reviews and verifications: 919 | ** Reviews and verifications: 919 | ||
** Critiques and corrections: 21 | ** Critiques and corrections: 21 | ||
** Catalogue entries, citations and exposition: | ** Catalogue entries, citations and exposition: 1203 | ||
== Results == | == Results == | ||
| 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 || 73 || 50 || 4 || 9 || 0 || 10 || 2026-10-31 | ||
|- | |- | ||
| [[The Exponential Time Hypothesis]] || Computational complexity || | | [[The Exponential Time Hypothesis]] || Computational complexity || 37 || 11 || 0 || 14 || 0 || 12 || 2026-10-31 | ||
|- | |- | ||
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 30 || 16 || 0 || 7 || 0 || 7 || 2026-10-26 | | [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 30 || 16 || 0 || 7 || 0 || 7 || 2026-10-26 | ||
| Line 29: | Line 29: | ||
|- | |- | ||
| [[The irrationality exponent of π is 2]] || Number theory || 19 || 12 || 0 || 2 || 0 || 5 || 2026-10-23 | | [[The irrationality exponent of π is 2]] || Number theory || 19 || 12 || 0 || 2 || 0 || 5 || 2026-10-23 | ||
|- | |||
| [[Primitive roots for every admissible integer base]] || Number theory || 18 || 10 || 1 || 2 || 0 || 5 || 2026-10-31 | |||
|- | |- | ||
| [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 17 || 6 || 0 || 3 || 5 || 3 || 2026-11-01 | | [[The rational Hodge conjecture for CM abelian varieties]] || Algebraic geometry || 17 || 6 || 0 || 3 || 5 || 3 || 2026-11-01 | ||
|- | |- | ||
| [[ | | [[Prime-factor statistics of p − 1]] || Number theory || 17 || 7 || 2 || 3 || 0 || 5 || 2026-10-30 | ||
|- | |- | ||
| [[Classification of finite Euclidean Ramsey configurations]] || Discrete geometry || 17 || 8 || 0 || 3 || 0 || 6 || 2026-10-29 | | [[Classification of finite Euclidean Ramsey configurations]] || Discrete geometry || 17 || 8 || 0 || 3 || 0 || 6 || 2026-10-29 | ||
| Line 38: | Line 40: | ||
| [[The Mahler conjectures]] || Convex geometry || 17 || 4 || 0 || 4 || 0 || 9 || 2026-10-28 | | [[The Mahler conjectures]] || Convex geometry || 17 || 4 || 0 || 4 || 0 || 9 || 2026-10-28 | ||
|- | |- | ||
| [[ | | [[Exact Fourier transforms below n log n]] || Algorithms || 16 || 9 || 0 || 3 || 0 || 4 || 2026-10-28 | ||
|- | |- | ||
| [[The Snaky achievement game]] || Combinatorics || 15 || 6 || 0 || 6 || 0 || 3 || 2026-10-30 | | [[The Snaky achievement game]] || Combinatorics || 15 || 6 || 0 || 6 || 0 || 3 || 2026-10-30 | ||
|- | |- | ||
| [[Irrationality of Catalan's constant]] || Number theory || 15 || 7 || 0 || 3 || 0 || 5 || 2026-10-29 | | [[Irrationality of Catalan's constant]] || Number theory || 15 || 7 || 0 || 3 || 0 || 5 || 2026-10-29 | ||
|- | |- | ||
| [[Derandomization of logarithmic space]] || Computational complexity || 15 || 1 || 0 || 4 || 1 || 9 || 2026-10-20 | | [[Derandomization of logarithmic space]] || Computational complexity || 15 || 1 || 0 || 4 || 1 || 9 || 2026-10-20 | ||
| Line 53: | Line 53: | ||
|- | |- | ||
| [[Sidorenko's conjecture]] || Combinatorics || 14 || 5 || 0 || 5 || 0 || 4 || 2026-10-24 | | [[Sidorenko's conjecture]] || Combinatorics || 14 || 5 || 0 || 5 || 0 || 4 || 2026-10-24 | ||
|- | |||
| [[Rapid mixing of the switch chain for every degree sequence]] || Algorithms || 14 || 5 || 0 || 5 || 0 || 4 || 2026-10-19 | |||
|- | |- | ||
| [[The Erdős similarity conjecture]] || Real analysis || 13 || 5 || 0 || 3 || 0 || 5 || 2026-10-30 | | [[The Erdős similarity conjecture]] || Real analysis || 13 || 5 || 0 || 3 || 0 || 5 || 2026-10-30 | ||
| Line 69: | Line 71: | ||
|- | |- | ||
| [[Thompson's group F is nonamenable]] || Group theory || 13 || 6 || 0 || 1 || 0 || 6 || 2026-10-20 | | [[Thompson's group F is nonamenable]] || Group theory || 13 || 6 || 0 || 1 || 0 || 6 || 2026-10-20 | ||
|- | |- | ||
| [[Hadwiger's conjecture]] || Combinatorics || 13 || 5 || 1 || 2 || 0 || 5 || 2026-10-16 | | [[Hadwiger's conjecture]] || Combinatorics || 13 || 5 || 1 || 2 || 0 || 5 || 2026-10-16 | ||
| Line 99: | Line 99: | ||
|- | |- | ||
| [[Uniform bounds for limit cycles in Hilbert's sixteenth problem]] || Dynamical systems || 11 || 2 || 0 || 4 || 0 || 5 || 2026-10-27 | | [[Uniform bounds for limit cycles in Hilbert's sixteenth problem]] || Dynamical systems || 11 || 2 || 0 || 4 || 0 || 5 || 2026-10-27 | ||
|- | |||
| [[The Gotsman–Linial conjecture]] || Computational complexity || 11 || 4 || 0 || 3 || 0 || 4 || 2026-10-26 | |||
|- | |- | ||
| [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 11 || 5 || 0 || 4 || 0 || 2 || 2026-10-23 | | [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 11 || 5 || 0 || 4 || 0 || 2 || 2026-10-23 | ||
| Line 127: | Line 129: | ||
|- | |- | ||
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 11 || 3 || 0 || 3 || 0 || 5 || 2026-10-18 | | [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 11 || 3 || 0 || 3 || 0 || 5 || 2026-10-18 | ||
|- | |||
| [[A factor-two approximation for shortest common superstring]] || Algorithms || 11 || 2 || 5 || 0 || 0 || 4 || 2026-10-17 | |||
|- | |- | ||
| [[Hilbert's tenth problem over the rational numbers]] || Number theory || 10 || 3 || 1 || 2 || 0 || 4 || 2026-10-30 | | [[Hilbert's tenth problem over the rational numbers]] || Number theory || 10 || 3 || 1 || 2 || 0 || 4 || 2026-10-30 | ||
| Line 133: | Line 137: | ||
|- | |- | ||
| [[The strong isotropic constant conjecture]] || Convex geometry || 10 || 3 || 0 || 3 || 0 || 4 || 2026-10-30 | | [[The strong isotropic constant conjecture]] || Convex geometry || 10 || 3 || 0 || 3 || 0 || 4 || 2026-10-30 | ||
|- | |||
| [[Glauber dynamics of the Sherrington–Kirkpatrick model]] || Probability || 10 || 3 || 0 || 4 || 0 || 3 || 2026-10-29 | |||
|- | |- | ||
| [[Universal computation in forced Navier–Stokes flows]] || Partial differential equations || 10 || 2 || 0 || 5 || 0 || 3 || 2026-10-29 | | [[Universal computation in forced Navier–Stokes flows]] || Partial differential equations || 10 || 2 || 0 || 5 || 0 || 3 || 2026-10-29 | ||
| Line 147: | Line 153: | ||
|- | |- | ||
| [[The Gaussian propeller conjecture]] || Probability || 10 || 3 || 0 || 2 || 0 || 5 || 2026-10-26 | | [[The Gaussian propeller conjecture]] || Probability || 10 || 3 || 0 || 2 || 0 || 5 || 2026-10-26 | ||
|- | |- | ||
| [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 10 || 5 || 0 || 1 || 0 || 4 || 2026-10-26 | | [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 10 || 5 || 0 || 1 || 0 || 4 || 2026-10-26 | ||
| Line 163: | Line 167: | ||
|- | |- | ||
| [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 10 || 3 || 0 || 3 || 0 || 4 || 2026-10-19 | | [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 10 || 3 || 0 || 3 || 0 || 4 || 2026-10-19 | ||
|- | |||
| [[Approximate counting of common bases of two matroids]] || Algorithms || 10 || 1 || 0 || 6 || 0 || 3 || 2026-10-18 | |||
|- | |- | ||
| [[Hardness of coloring three-colorable graphs]] || Computational complexity || 10 || 2 || 0 || 3 || 0 || 5 || 2026-10-18 | | [[Hardness of coloring three-colorable graphs]] || Computational complexity || 10 || 2 || 0 || 3 || 0 || 5 || 2026-10-18 | ||
|- | |||
| [[Sampling and counting contingency tables]] || Algorithms || 10 || 2 || 0 || 5 || 0 || 3 || 2026-10-18 | |||
|- | |- | ||
| [[The 2-to-1 Games Conjecture]] || Computational complexity || 10 || 1 || 0 || 3 || 0 || 6 || 2026-10-18 | | [[The 2-to-1 Games Conjecture]] || Computational complexity || 10 || 1 || 0 || 3 || 0 || 6 || 2026-10-18 | ||
|- | |- | ||
| [[ | | [[The Bass trace conjecture]] || Group theory || 10 || 4 || 0 || 4 || 0 || 2 || 2026-10-17 | ||
|- | |- | ||
| [[ | | [[Bose–Einstein condensation in the dilute Bose gas]] || Mathematical physics || 9 || 2 || 0 || 4 || 0 || 3 || 2026-11-01 | ||
|- | |- | ||
| [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 9 || 0 || 2 || 3 || 0 || 4 || 2026-10-30 | | [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 9 || 0 || 2 || 3 || 0 || 4 || 2026-10-30 | ||
|- | |- | ||
| [[A cubic lower bound for the permanent versus the determinant]] || Algebraic complexity || 9 || 3 || 0 || 3 || 0 || 3 || 2026-10-29 | | [[A cubic lower bound for the permanent versus the determinant]] || Algebraic complexity || 9 || 3 || 0 || 3 || 0 || 3 || 2026-10-29 | ||
|- | |- | ||
| [[Polynomial removal for ordered binary matrices]] || Combinatorics || 9 || 4 || 0 || 2 || 0 || 3 || 2026-10-28 | | [[Polynomial removal for ordered binary matrices]] || Combinatorics || 9 || 4 || 0 || 2 || 0 || 3 || 2026-10-28 | ||
|- | |- | ||
| [[The Deligne–Drinfeld conjecture]] || Algebra || 9 || 4 || 0 || 2 || 0 || 3 || 2026-10-28 | | [[The Deligne–Drinfeld conjecture]] || Algebra || 9 || 4 || 0 || 2 || 0 || 3 || 2026-10-28 | ||
|- | |||
| [[Scheduling unit jobs with precedence constraints on three machines]] || Algorithms || 9 || 0 || 0 || 4 || 1 || 4 || 2026-10-27 | |||
|- | |- | ||
| [[The combinatorial invariance conjecture for Kazhdan–Lusztig polynomials]] || Algebra || 9 || 2 || 0 || 4 || 0 || 3 || 2026-10-27 | | [[The combinatorial invariance conjecture for Kazhdan–Lusztig polynomials]] || Algebra || 9 || 2 || 0 || 4 || 0 || 3 || 2026-10-27 | ||
| Line 187: | Line 195: | ||
|- | |- | ||
| [[The circulant Hadamard conjecture]] || Combinatorics || 9 || 0 || 0 || 3 || 0 || 6 || 2026-10-21 | | [[The circulant Hadamard conjecture]] || Combinatorics || 9 || 0 || 0 || 3 || 0 || 6 || 2026-10-21 | ||
|- | |||
| [[Sensitivity versus block sensitivity]] || Computational complexity || 9 || 4 || 0 || 0 || 0 || 5 || 2026-10-19 | |||
|- | |- | ||
| [[The affine Bernstein problem]] || Differential geometry || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-19 | | [[The affine Bernstein problem]] || Differential geometry || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-19 | ||
| Line 213: | Line 223: | ||
|- | |- | ||
| [[The finitely presented Burnside problem]] || Group theory || 9 || 2 || 0 || 4 || 0 || 3 || 2026-10-17 | | [[The finitely presented Burnside problem]] || Group theory || 9 || 2 || 0 || 4 || 0 || 3 || 2026-10-17 | ||
|- | |- | ||
| [[The Gopalan–Servedio square-root degree conjecture]] || Computational complexity || 9 || 1 || 0 || 5 || 0 || 3 || 2026-10-16 | | [[The Gopalan–Servedio square-root degree conjecture]] || Computational complexity || 9 || 1 || 0 || 5 || 0 || 3 || 2026-10-16 | ||
| Line 223: | Line 229: | ||
|- | |- | ||
| [[The hypercube Ramsey number has linear order]] || Combinatorics || 8 || 0 || 1 || 3 || 0 || 4 || 2026-10-30 | | [[The hypercube Ramsey number has linear order]] || Combinatorics || 8 || 0 || 1 || 3 || 0 || 4 || 2026-10-30 | ||
|- | |||
| [[Classical capacity of generalized amplitude damping]] || Quantum information || 8 || 3 || 0 || 1 || 0 || 4 || 2026-10-29 | |||
|- | |||
| [[The Mézard–Parisi formula for diluted spin glasses]] || Probability || 8 || 2 || 0 || 3 || 0 || 3 || 2026-10-29 | |||
|- | |- | ||
| [[The one-dimensional Lieb–Thirring conjecture]] || Mathematical physics || 8 || 1 || 0 || 5 || 0 || 2 || 2026-10-29 | | [[The one-dimensional Lieb–Thirring conjecture]] || Mathematical physics || 8 || 1 || 0 || 5 || 0 || 2 || 2026-10-29 | ||
| Line 228: | Line 238: | ||
| [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 8 || 2 || 0 || 2 || 0 || 4 || 2026-10-27 | | [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 8 || 2 || 0 || 2 || 0 || 4 || 2026-10-27 | ||
|- | |- | ||
| [[ | | [[The Cartan–Hadamard isoperimetric conjecture]] || Differential geometry || 8 || 1 || 0 || 4 || 0 || 3 || 2026-10-27 | ||
|- | |- | ||
| [[The David–Semmes problem in higher codimension]] || Harmonic analysis || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-26 | | [[The David–Semmes problem in higher codimension]] || Harmonic analysis || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-26 | ||
| Line 237: | Line 247: | ||
|- | |- | ||
| [[Wall's D(2) problem]] || Homotopy theory || 8 || 2 || 1 || 2 || 0 || 3 || 2026-10-23 | | [[Wall's D(2) problem]] || Homotopy theory || 8 || 2 || 1 || 2 || 0 || 3 || 2026-10-23 | ||
|- | |- | ||
| [[The hyperkähler SYZ conjecture]] || Algebraic geometry || 8 || 3 || 0 || 2 || 0 || 3 || 2026-10-22 | | [[The hyperkähler SYZ conjecture]] || Algebraic geometry || 8 || 3 || 0 || 2 || 0 || 3 || 2026-10-22 | ||
| Line 251: | Line 259: | ||
|- | |- | ||
| [[Modularity of elliptic curves over imaginary quadratic fields]] || Number theory || 8 || 3 || 0 || 1 || 0 || 4 || 2026-10-19 | | [[Modularity of elliptic curves over imaginary quadratic fields]] || Number theory || 8 || 3 || 0 || 1 || 0 || 4 || 2026-10-19 | ||
|- | |- | ||
| [[Stable blowup for the defocusing nonlinear Schrödinger equation]] || Partial differential equations || 8 || 0 || 0 || 4 || 1 || 3 || 2026-10-19 | | [[Stable blowup for the defocusing nonlinear Schrödinger equation]] || Partial differential equations || 8 || 0 || 0 || 4 || 1 || 3 || 2026-10-19 | ||
| Line 259: | Line 265: | ||
|- | |- | ||
| [[The anisotropic Calderón problem]] || Partial differential equations || 8 || 1 || 0 || 4 || 0 || 3 || 2026-10-19 | | [[The anisotropic Calderón problem]] || Partial differential equations || 8 || 1 || 0 || 4 || 0 || 3 || 2026-10-19 | ||
|- | |||
| [[Exponential semidefinite complexity of perfect matching]] || Computational complexity || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-18 | |||
|- | |||
| [[Homogeneous depth-five lower bounds for iterated matrix multiplication]] || Algebraic complexity || 8 || 0 || 0 || 4 || 0 || 4 || 2026-10-18 | |||
|- | |- | ||
| [[The Lang–Plaut problem]] || Functional analysis || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-18 | | [[The Lang–Plaut problem]] || Functional analysis || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-18 | ||
| Line 277: | Line 287: | ||
|- | |- | ||
| [[The Friedgut–Kalai sharp-threshold conjecture]] || Probability || 8 || 0 || 0 || 4 || 0 || 4 || 2026-10-16 | | [[The Friedgut–Kalai sharp-threshold conjecture]] || Probability || 8 || 0 || 0 || 4 || 0 || 4 || 2026-10-16 | ||
|- | |||
| [[The modified integer round-up conjecture for bin packing]] || Algorithms || 8 || 1 || 0 || 3 || 0 || 4 || 2026-10-16 | |||
|- | |- | ||
| [[The periodic tiling conjecture in dimension three]] || Discrete geometry || 8 || 2 || 0 || 0 || 0 || 6 || 2026-10-16 | | [[The periodic tiling conjecture in dimension three]] || Discrete geometry || 8 || 2 || 0 || 0 || 0 || 6 || 2026-10-16 | ||
| Line 293: | Line 305: | ||
|- | |- | ||
| [[Zariski's multiplicity conjecture]] || Algebraic geometry || 7 || 0 || 0 || 5 || 0 || 2 || 2026-10-30 | | [[Zariski's multiplicity conjecture]] || Algebraic geometry || 7 || 0 || 0 || 5 || 0 || 2 || 2026-10-30 | ||
|- | |||
| [[Iitaka's subadditivity conjecture]] || Algebraic geometry || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-29 | |||
|- | |- | ||
| [[The trilinear Hilbert transform]] || Harmonic analysis || 7 || 1 || 0 || 3 || 0 || 3 || 2026-10-29 | | [[The trilinear Hilbert transform]] || Harmonic analysis || 7 || 1 || 0 || 3 || 0 || 3 || 2026-10-29 | ||
| Line 311: | Line 325: | ||
|- | |- | ||
| [[Cannon's conjecture]] || Geometric topology || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-22 | | [[Cannon's conjecture]] || Geometric topology || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-22 | ||
|- | |||
| [[Generalized star height at most three]] || Computational complexity || 7 || 2 || 0 || 2 || 0 || 3 || 2026-10-22 | |||
|- | |- | ||
| [[Goldfeld's conjecture for quadratic twists]] || Number theory || 7 || 2 || 0 || 2 || 0 || 3 || 2026-10-22 | | [[Goldfeld's conjecture for quadratic twists]] || Number theory || 7 || 2 || 0 || 2 || 0 || 3 || 2026-10-22 | ||
| Line 327: | Line 343: | ||
|- | |- | ||
| [[Strong forms of the Arnold conjecture]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-19 | | [[Strong forms of the Arnold conjecture]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-19 | ||
|- | |- | ||
| [[The Monge ansatz for the three-marginal Coulomb cost]] || Mathematical physics || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-19 | | [[The Monge ansatz for the three-marginal Coulomb cost]] || Mathematical physics || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-19 | ||
| Line 336: | Line 350: | ||
| [[Yau's harmonic dimension comparison problem]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-19 | | [[Yau's harmonic dimension comparison problem]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-19 | ||
|- | |- | ||
| [[ | | [[Approximability of uniform sparsest cut]] || Computational complexity || 7 || 1 || 0 || 3 || 0 || 3 || 2026-10-18 | ||
|- | |||
| [[Black-box identity testing for noncommutative formulas]] || Algebraic complexity || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-18 | |||
|- | |- | ||
| [[Entanglement without secret key and the PPT-squared conjecture]] || Quantum information || 7 || 0 || 0 || 5 || 0 || 2 || 2026-10-18 | | [[Entanglement without secret key and the PPT-squared conjecture]] || Quantum information || 7 || 0 || 0 || 5 || 0 || 2 || 2026-10-18 | ||
| Line 347: | Line 363: | ||
|- | |- | ||
| [[Split tangent bundles and product decompositions]] || Algebraic geometry || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-18 | | [[Split tangent bundles and product decompositions]] || Algebraic geometry || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-18 | ||
|- | |||
| [[The Sakoda–Sipser problem]] || Computational complexity || 7 || 0 || 0 || 3 || 0 || 4 || 2026-10-18 | |||
|- | |- | ||
| [[The cotype–cotype conjecture under the approximation property]] || Functional analysis || 7 || 0 || 0 || 3 || 0 || 4 || 2026-10-18 | | [[The cotype–cotype conjecture under the approximation property]] || Functional analysis || 7 || 0 || 0 || 3 || 0 || 4 || 2026-10-18 | ||
| Line 365: | Line 383: | ||
|- | |- | ||
| [[The Kervaire conjecture]] || Group theory || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-17 | | [[The Kervaire conjecture]] || Group theory || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-17 | ||
|- | |- | ||
| [[Kaplansky's zero-divisor conjecture]] || Group theory || 7 || 3 || 0 || 1 || 0 || 3 || 2026-10-16 | | [[Kaplansky's zero-divisor conjecture]] || Group theory || 7 || 3 || 0 || 1 || 0 || 3 || 2026-10-16 | ||
| Line 383: | Line 397: | ||
|- | |- | ||
| [[The infinite matroid intersection and packing/covering conjectures]] || Combinatorics || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-16 | | [[The infinite matroid intersection and packing/covering conjectures]] || Combinatorics || 7 || 0 || 0 || 4 || 0 || 3 || 2026-10-16 | ||
|- | |- | ||
| [[The second Kahn–Kalai conjecture]] || Probability || 7 || 0 || 0 || 3 || 0 || 4 || 2026-10-16 | | [[The second Kahn–Kalai conjecture]] || Probability || 7 || 0 || 0 || 3 || 0 || 4 || 2026-10-16 | ||
| Line 391: | Line 403: | ||
|- | |- | ||
| [[Randomized versus quantum query complexity]] || Computational complexity || 6 || 0 || 0 || 2 || 0 || 4 || 2026-10-30 | | [[Randomized versus quantum query complexity]] || Computational complexity || 6 || 0 || 0 || 2 || 0 || 4 || 2026-10-30 | ||
|- | |||
| [[Directional zero–one laws and ballisticity for random walks in random environment]] || Probability || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-29 | |||
|- | |- | ||
| [[Memory–sample lower bounds for noiseless Gaussian regression]] || Information theory || 6 || 2 || 0 || 2 || 0 || 2 || 2026-10-29 | | [[Memory–sample lower bounds for noiseless Gaussian regression]] || Information theory || 6 || 2 || 0 || 2 || 0 || 2 || 2026-10-29 | ||
|- | |- | ||
| [[Symplectic ball packing in higher dimensions]] || Differential geometry || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-29 | | [[Symplectic ball packing in higher dimensions]] || Differential geometry || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-29 | ||
|- | |||
| [[The log abundance conjecture in characteristic zero]] || Algebraic geometry || 6 || 1 || 0 || 1 || 0 || 4 || 2026-10-29 | |||
|- | |- | ||
| [[Conformal invariance of square-lattice random-cluster interfaces]] || Probability || 6 || 2 || 0 || 0 || 1 || 3 || 2026-10-26 | | [[Conformal invariance of square-lattice random-cluster interfaces]] || Probability || 6 || 2 || 0 || 0 || 1 || 3 || 2026-10-26 | ||
| Line 408: | Line 424: | ||
| [[Singular Bernoulli convolutions]] || Real analysis || 6 || 2 || 0 || 2 || 0 || 2 || 2026-10-23 | | [[Singular Bernoulli convolutions]] || Real analysis || 6 || 2 || 0 || 2 || 0 || 2 || 2026-10-23 | ||
|- | |- | ||
| [[ | | [[The approximation threshold for metric k-median]] || Algorithms || 6 || 3 || 0 || 0 || 0 || 3 || 2026-10-22 | ||
|- | |||
| [[The computational complexity of Weisfeiler–Leman refinement]] || Computational complexity || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-22 | |||
|- | |- | ||
| [[De Giorgi's conjecture]] || Partial differential equations || 6 || 2 || 0 || 1 || 0 || 3 || 2026-10-21 | | [[De Giorgi's conjecture]] || Partial differential equations || 6 || 2 || 0 || 1 || 0 || 3 || 2026-10-21 | ||
| Line 421: | Line 439: | ||
|- | |- | ||
| [[The Wu–Yau bounded-domain conjecture]] || Differential geometry || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-19 | | [[The Wu–Yau bounded-domain conjecture]] || Differential geometry || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-19 | ||
|- | |- | ||
| [[Gepner and large-volume stability conditions on threefolds]] || Algebraic geometry || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-18 | | [[Gepner and large-volume stability conditions on threefolds]] || Algebraic geometry || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-18 | ||
|- | |- | ||
| [[Moore's parity conjecture for constant-depth quantum circuits]] || Computational complexity || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-18 | | [[Moore's parity conjecture for constant-depth quantum circuits]] || Computational complexity || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-18 | ||
|- | |- | ||
| [[Spontaneous magnetization and Bloch's law for the quantum Heisenberg ferromagnet]] || Mathematical physics || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-18 | | [[Spontaneous magnetization and Bloch's law for the quantum Heisenberg ferromagnet]] || Mathematical physics || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-18 | ||
|- | |||
| [[The Courtade–Kumar conjecture]] || Information theory || 6 || 1 || 0 || 1 || 0 || 4 || 2026-10-18 | |||
|- | |- | ||
| [[The Euclidean Steinitz–Bergström conjecture]] || Discrete geometry || 6 || 1 || 0 || 1 || 0 || 4 || 2026-10-18 | | [[The Euclidean Steinitz–Bergström conjecture]] || Discrete geometry || 6 || 1 || 0 || 1 || 0 || 4 || 2026-10-18 | ||
| Line 443: | Line 459: | ||
|- | |- | ||
| [[The separable quotient problem]] || Functional analysis || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-18 | | [[The separable quotient problem]] || Functional analysis || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-18 | ||
|- | |||
| [[Trace reconstruction from deletion channels]] || Computational complexity || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-18 | |||
|- | |- | ||
| [[Absolutely continuous spectrum of the Anderson model in dimension at least three]] || Mathematical physics || 6 || 0 || 1 || 1 || 0 || 4 || 2026-10-17 | | [[Absolutely continuous spectrum of the Anderson model in dimension at least three]] || Mathematical physics || 6 || 0 || 1 || 1 || 0 || 4 || 2026-10-17 | ||
| Line 449: | Line 467: | ||
|- | |- | ||
| [[Spacetime Penrose inequalities]] || Differential geometry || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-17 | | [[Spacetime Penrose inequalities]] || Differential geometry || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-17 | ||
|- | |- | ||
| [[The Partition Principle and the Axiom of Choice]] || Mathematical logic || 6 || 1 || 0 || 3 || 1 || 1 || 2026-10-17 | | [[The Partition Principle and the Axiom of Choice]] || Mathematical logic || 6 || 1 || 0 || 3 || 1 || 1 || 2026-10-17 | ||
|- | |- | ||
| [[The free uniform spanning forest as a factor of IID]] || Probability || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-17 | | [[The free uniform spanning forest as a factor of IID]] || Probability || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-17 | ||
|- | |||
| [[Almost-linear-time maximum matching in general graphs]] || Algorithms || 6 || 2 || 0 || 1 || 0 || 3 || 2026-10-16 | |||
|- | |- | ||
| [[Banach's simple Lebesgue-spectrum problem]] || Dynamical systems || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-16 | | [[Banach's simple Lebesgue-spectrum problem]] || Dynamical systems || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[Ergodicity and weak mixing of irrational triangular billiards]] || Dynamical systems || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-16 | | [[Ergodicity and weak mixing of irrational triangular billiards]] || Dynamical systems || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-16 | ||
| Line 465: | Line 481: | ||
|- | |- | ||
| [[Seymour's second-neighborhood conjecture]] || Combinatorics || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-16 | | [[Seymour's second-neighborhood conjecture]] || Combinatorics || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-16 | ||
|- | |- | ||
| [[Embedding edit distance into L1]] || Functional analysis || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-14 | | [[Embedding edit distance into L1]] || Functional analysis || 6 || 0 || 0 || 3 || 0 || 3 || 2026-10-14 | ||
| Line 474: | Line 488: | ||
| [[The duality conjecture for metric entropy]] || Convex geometry || 5 || 0 || 0 || 1 || 0 || 4 || 2026-10-29 | | [[The duality conjecture for metric entropy]] || Convex geometry || 5 || 0 || 0 || 1 || 0 || 4 || 2026-10-29 | ||
|- | |- | ||
| [[The | | [[The LeBrun–Salamon conjecture]] || Differential geometry || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-28 | ||
|- | |||
| [[Kobayashi's canonical-ampleness conjecture]] || Complex analysis || 5 || 1 || 0 || 1 || 0 || 3 || 2026-10-27 | |||
|- | |- | ||
| [[The critical dimension for one-phase Bernoulli minimizers]] || Partial differential equations || 5 || 1 || 1 || 1 || 0 || 2 || 2026-10-26 | | [[The critical dimension for one-phase Bernoulli minimizers]] || Partial differential equations || 5 || 1 || 1 || 1 || 0 || 2 || 2026-10-26 | ||
| Line 485: | Line 501: | ||
|- | |- | ||
| [[Rigidity of the Turing degrees]] || Mathematical logic || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-22 | | [[Rigidity of the Turing degrees]] || Mathematical logic || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-22 | ||
|- | |- | ||
| [[The generalized Mukai conjecture]] || Algebraic geometry || 5 || 1 || 0 || 1 || 0 || 3 || 2026-10-21 | | [[The generalized Mukai conjecture]] || Algebraic geometry || 5 || 1 || 0 || 1 || 0 || 3 || 2026-10-21 | ||
| Line 557: | Line 569: | ||
|- | |- | ||
| [[Conformal universality of weakly interacting and random-bond Ising models]] || Probability || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-17 | | [[Conformal universality of weakly interacting and random-bond Ising models]] || Probability || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-17 | ||
|- | |- | ||
| [[Factor-of-IID threshold for the free Ising model on regular trees]] || Probability || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-17 | | [[Factor-of-IID threshold for the free Ising model on regular trees]] || Probability || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-17 | ||
| Line 572: | Line 582: | ||
| [[The ionization and generalized ionization conjectures]] || Mathematical physics || 5 || 0 || 1 || 1 || 0 || 3 || 2026-10-17 | | [[The ionization and generalized ionization conjectures]] || Mathematical physics || 5 || 0 || 1 || 1 || 0 || 3 || 2026-10-17 | ||
|- | |- | ||
| [[ | | [[Approximating edit distance in almost-linear time]] || Algorithms || 5 || 2 || 0 || 0 || 0 || 3 || 2026-10-16 | ||
|- | |- | ||
| [[Deterministic Ramanujan graphs in every degree]] || Combinatorics || 5 || 1 || 0 || 1 || 1 || 2 || 2026-10-16 | | [[Deterministic Ramanujan graphs in every degree]] || Combinatorics || 5 || 1 || 0 || 1 || 1 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[Serre's positivity conjecture for intersection multiplicities]] || Algebra || 5 || 0 || 1 || 1 || 0 || 3 || 2026-10-16 | | [[Serre's positivity conjecture for intersection multiplicities]] || Algebra || 5 || 0 || 1 || 1 || 0 || 3 || 2026-10-16 | ||
|- | |- | ||
| [[The inhomogeneous Duffin–Schaeffer conjecture]] || Number theory || 5 || 1 || 0 || 1 || 0 || 3 || 2026-10-16 | | [[The inhomogeneous Duffin–Schaeffer conjecture]] || Number theory || 5 || 1 || 0 || 1 || 0 || 3 || 2026-10-16 | ||
| Line 588: | Line 596: | ||
| [[The smooth realization problem]] || Dynamical systems || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-16 | | [[The smooth realization problem]] || Dynamical systems || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[ | | [[The Lipschitz isomorphism problem for separable Banach spaces]] || Functional analysis || 4 || 1 || 0 || 0 || 0 || 3 || 2026-10-28 | ||
|- | |- | ||
| [[ | | [[Campana's abelianity conjecture]] || Algebraic geometry || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-27 | ||
|- | |- | ||
| [[The Campana–Peternell conjecture]] || Algebraic geometry || 4 || 0 || 0 || 2 || 0 || 2 || 2026-10-23 | | [[The Campana–Peternell conjecture]] || Algebraic geometry || 4 || 0 || 0 || 2 || 0 || 2 || 2026-10-23 | ||
| Line 611: | Line 619: | ||
|- | |- | ||
| [[Integral counterexamples to Gersten's conjecture]] || Algebra || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | | [[Integral counterexamples to Gersten's conjecture]] || Algebra || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | ||
|- | |- | ||
| [[Kuznetsov's rationality conjecture]] || Algebraic geometry || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | | [[Kuznetsov's rationality conjecture]] || Algebraic geometry || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | ||
| Line 626: | Line 632: | ||
| [[The Hovey–Strickland conjecture]] || Homotopy theory || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | | [[The Hovey–Strickland conjecture]] || Homotopy theory || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | ||
|- | |- | ||
| [[The | | [[The PCP-for-PPAD conjecture]] || Computational complexity || 4 || 0 || 0 || 1 || 0 || 3 || 2026-10-18 | ||
|- | |- | ||
| [[The Phillips–Toms conjecture]] || Operator algebras || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | | [[The Phillips–Toms conjecture]] || Operator algebras || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-18 | ||
| Line 643: | Line 649: | ||
|- | |- | ||
| [[The random k-SAT satisfiability threshold]] || Probability || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-17 | | [[The random k-SAT satisfiability threshold]] || Probability || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-17 | ||
|- | |- | ||
| [[Milne's rationality conjecture]] || Number theory || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | | [[Milne's rationality conjecture]] || Number theory || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | ||
| Line 653: | Line 657: | ||
|- | |- | ||
| [[Kurosh's problem for division rings]] || Algebra || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-30 | | [[Kurosh's problem for division rings]] || Algebra || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-30 | ||
|- | |- | ||
| [[Termination of flips for fourfolds]] || Algebraic geometry || 3 || 0 || 0 || 1 || 0 || 2 || 2026-10-26 | | [[Termination of flips for fourfolds]] || Algebraic geometry || 3 || 0 || 0 || 1 || 0 || 2 || 2026-10-26 | ||
| Line 759: | Line 761: | ||
|- | |- | ||
| [[The Eisenbud–Green–Harris and lex-plus-powers conjectures]] || Algebra || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16 | | [[The Eisenbud–Green–Harris and lex-plus-powers conjectures]] || Algebra || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The existential theory of the reals in the counting hierarchy]] || Computational complexity || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | | [[The existential theory of the reals in the counting hierarchy]] || Computational complexity || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
Latest revision as of 18:35, 1 November 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 2 November 2026. The table can be re-sorted by any column.
Summary
- 376 result pages; 376 of them list at least one public follow-up.
- 2804 follow-up entries in total:
- Research follow-ups: 628
- Formalizations: 33
- Reviews and verifications: 919
- Critiques and corrections: 21
- Catalogue entries, citations and exposition: 1203
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 (24 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.
