Results by number of public follow-ups: Difference between revisions
From OpenAI Aftermath
Automatic refresh from the published result pages (256 pages, 1361 entries) |
Automatic refresh from the published result pages (256 pages, 1410 entries) |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
== Summary == | == Summary == | ||
* 256 result pages; 256 of them list at least one public follow-up. | * 256 result pages; 256 of them list at least one public follow-up. | ||
* | * 1410 follow-up entries in total: | ||
** Research follow-ups: 459 | ** Research follow-ups: 459 | ||
** Formalizations: 31 | ** Formalizations: 31 | ||
** Reviews and verifications: | ** Reviews and verifications: 641 | ||
** Critiques and corrections: 17 | ** Critiques and corrections: 17 | ||
** Catalogue entries, citations and exposition: | ** Catalogue entries, citations and exposition: 262 | ||
== Results == | == Results == | ||
| Line 21: | Line 21: | ||
|- | |- | ||
| [[The Euclidean plane is not five-colorable]] || Discrete geometry || 15 || 9 || 0 || 1 || 1 || 4 || 2026-10-17 | | [[The Euclidean plane is not five-colorable]] || Discrete geometry || 15 || 9 || 0 || 1 || 1 || 4 || 2026-10-17 | ||
|- | |||
| [[The irrationality exponent of π is 2]] || Number theory || 13 || 9 || 0 || 2 || 0 || 2 || 2026-10-23 | |||
|- | |- | ||
| [[Classification of finite Euclidean Ramsey configurations]] || Discrete geometry || 13 || 7 || 0 || 2 || 0 || 4 || 2026-10-21 | | [[Classification of finite Euclidean Ramsey configurations]] || Discrete geometry || 13 || 7 || 0 || 2 || 0 || 4 || 2026-10-21 | ||
| Line 27: | Line 29: | ||
|- | |- | ||
| [[The Unique Games Conjecture]] || Computational complexity || 12 || 5 || 1 || 3 || 0 || 3 || 2026-10-22 | | [[The Unique Games Conjecture]] || Computational complexity || 12 || 5 || 1 || 3 || 0 || 3 || 2026-10-22 | ||
|- | |||
| [[Prime-factor statistics of p − 1]] || Number theory || 12 || 5 || 2 || 2 || 0 || 3 || 2026-10-20 | |||
|- | |||
| [[Irrationality of Catalan's constant]] || Number theory || 11 || 6 || 0 || 2 || 0 || 3 || 2026-10-24 | |||
|- | |- | ||
| [[The Snaky achievement game]] || Combinatorics || 11 || 6 || 0 || 5 || 0 || 0 || 2026-10-24 | | [[The Snaky achievement game]] || Combinatorics || 11 || 6 || 0 || 5 || 0 || 0 || 2026-10-24 | ||
|- | |- | ||
| [[The | | [[The Erdős–Hall question on totient values]] || Number theory || 11 || 2 || 0 || 5 || 0 || 4 || 2026-10-21 | ||
|- | |- | ||
| [[Rapid mixing of the switch chain for every degree sequence]] || Algorithms || 11 || 5 || 0 || 5 || 0 || 1 || 2026-10-19 | | [[Rapid mixing of the switch chain for every degree sequence]] || Algorithms || 11 || 5 || 0 || 5 || 0 || 1 || 2026-10-19 | ||
| Line 40: | Line 44: | ||
| [[Exact Fourier transforms below n log n]] || Algorithms || 11 || 9 || 0 || 2 || 0 || 0 || 2026-10-17 | | [[Exact Fourier transforms below n log n]] || Algorithms || 11 || 9 || 0 || 2 || 0 || 0 || 2026-10-17 | ||
|- | |- | ||
| [[ | | [[The Falconer distance conjecture]] || Harmonic analysis || 10 || 6 || 0 || 3 || 0 || 1 || 2026-10-26 | ||
|- | |- | ||
| [[Sidorenko's conjecture]] || Combinatorics || 10 || 4 || 0 || 5 || 0 || 1 || 2026-10-24 | | [[Sidorenko's conjecture]] || Combinatorics || 10 || 4 || 0 || 5 || 0 || 1 || 2026-10-24 | ||
|- | |||
| [[A quadratic bound for Jacobsthal's function]] || Number theory || 10 || 3 || 0 || 3 || 0 || 4 || 2026-10-23 | |||
|- | |||
| [[Largest prime factors of consecutive integers]] || Number theory || 10 || 2 || 0 || 5 || 0 || 3 || 2026-10-22 | |||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[ | | [[Derandomization of logarithmic space]] || Computational complexity || 10 || 1 || 0 || 3 || 1 || 5 || 2026-10-20 | ||
|- | |- | ||
| [[ | | [[Primitive roots for every admissible integer base]] || Number theory || 10 || 7 || 1 || 1 || 0 || 1 || 2026-10-19 | ||
|- | |- | ||
| [[Superexponential growth of van der Waerden numbers]] || Combinatorics || 10 || 1 || 0 || 4 || 0 || 5 || 2026-10-16 | | [[Superexponential growth of van der Waerden numbers]] || Combinatorics || 10 || 1 || 0 || 4 || 0 || 5 || 2026-10-16 | ||
|- | |- | ||
| [[The | | [[The Erdős similarity conjecture]] || Real analysis || 10 || 5 || 0 || 2 || 0 || 3 || 2026-10-16 | ||
|- | |- | ||
| [[ | | [[The generalized Lax conjecture]] || Convex geometry || 9 || 1 || 0 || 5 || 0 || 3 || 2026-10-25 | ||
|- | |- | ||
| [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 9 || 4 || 0 || 4 || 0 || 1 || 2026-10-23 | | [[The Auslander–Reiten conjecture]] || Representation theory of algebras || 9 || 4 || 0 || 4 || 0 || 1 || 2026-10-23 | ||
| Line 60: | Line 68: | ||
| [[Heilbronn's triangle problem]] || Discrete geometry || 9 || 2 || 0 || 5 || 0 || 2 || 2026-10-22 | | [[Heilbronn's triangle problem]] || Discrete geometry || 9 || 2 || 0 || 5 || 0 || 2 || 2026-10-22 | ||
|- | |- | ||
| [[ | | [[Permanence of weakly reversible mass-action systems]] || Dynamical systems || 9 || 6 || 0 || 3 || 0 || 0 || 2026-10-22 | ||
|- | |||
| [[The Gaussian moat problem]] || Number theory || 9 || 3 || 0 || 2 || 0 || 4 || 2026-10-22 | |||
|- | |- | ||
| [[ | | [[Erdős's conjecture on short Egyptian fractions]] || Number theory || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-21 | ||
|- | |||
| [[Positive lower density of large prime gaps]] || Number theory || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-21 | |||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[ | | [[The Mahler conjectures]] || Convex geometry || 9 || 2 || 0 || 3 || 0 || 4 || 2026-10-19 | ||
|- | |- | ||
| [[Kaplansky's direct-finiteness conjecture]] || Group theory || 9 || 4 || 0 || 3 || 0 || 2 || 2026-10-18 | | [[Kaplansky's direct-finiteness conjecture]] || Group theory || 9 || 4 || 0 || 3 || 0 || 2 || 2026-10-18 | ||
|- | |- | ||
| [[Hadwiger's conjecture]] || Combinatorics || 9 || 5 || 1 || 2 || 0 || 1 || 2026-10-16 | | [[Hadwiger's conjecture]] || Combinatorics || 9 || 5 || 1 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 8 || 5 || 0 || 1 || 0 || 2 || 2026-10-26 | | [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 8 || 5 || 0 || 1 || 0 || 2 || 2026-10-26 | ||
|- | |- | ||
| [[ | | [[Donaldson's tamed-to-compatible conjecture]] || Differential geometry || 8 || 0 || 0 || 7 || 0 || 1 || 2026-10-24 | ||
|- | |- | ||
| [[The Ajtai–Erdős–Komlós–Szemerédi independence conjecture]] || Combinatorics || 8 || 1 || 0 || 5 || 0 || 2 || 2026-10-21 | | [[The Ajtai–Erdős–Komlós–Szemerédi independence conjecture]] || Combinatorics || 8 || 1 || 0 || 5 || 0 || 2 || 2026-10-21 | ||
| Line 89: | Line 95: | ||
|- | |- | ||
| [[The logarithmic exponent of off-diagonal Ramsey numbers]] || Combinatorics || 8 || 2 || 0 || 5 || 0 || 1 || 2026-10-20 | | [[The logarithmic exponent of off-diagonal Ramsey numbers]] || Combinatorics || 8 || 2 || 0 || 5 || 0 || 1 || 2026-10-20 | ||
|- | |||
| [[The triangular Hilbert transform at the symmetric point]] || Harmonic analysis || 8 || 3 || 0 || 3 || 0 || 2 || 2026-10-19 | |||
|- | |- | ||
| [[The Harary–Hill and Zarankiewicz crossing-number conjectures]] || Combinatorics || 8 || 3 || 0 || 3 || 0 || 2 || 2026-10-18 | | [[The Harary–Hill and Zarankiewicz crossing-number conjectures]] || Combinatorics || 8 || 3 || 0 || 3 || 0 || 2 || 2026-10-18 | ||
|- | |- | ||
| [[The Hilbert–Smith conjecture]] || Geometric topology || 8 || 3 || 2 || 2 || 0 || 1 || 2026-10-18 | | [[The Hilbert–Smith conjecture]] || Geometric topology || 8 || 3 || 2 || 2 || 0 || 1 || 2026-10-18 | ||
|- | |||
| [[Universal optimality of the triangular lattice]] || Discrete geometry || 8 || 2 || 0 || 3 || 0 || 3 || 2026-10-18 | |||
|- | |||
| [[Cylinder coverings below the half-area bound]] || Discrete geometry || 8 || 4 || 0 || 3 || 0 || 1 || 2026-10-17 | |||
|- | |||
| [[Petty's projection-volume conjecture]] || Convex geometry || 8 || 3 || 0 || 3 || 0 || 2 || 2026-10-17 | |||
|- | |- | ||
| [[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 101: | Line 115: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 8 || 3 || 0 || 3 || 0 || 2 || 2026-10-16 | |||
|- | |- | ||
| [[Cannon's conjecture]] || Geometric topology || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-26 | | [[Cannon's conjecture]] || Geometric topology || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-26 | ||
|- | |- | ||
| [[ | | [[The Gaussian propeller conjecture]] || Probability || 7 || 3 || 0 || 2 || 0 || 2 || 2026-10-26 | ||
|- | |- | ||
| [[Worst-case Subset Sum below the meet-in-the-middle bound]] || Computational complexity || 7 || 5 || 0 || 2 || 0 || 0 || 2026-10-23 | | [[Worst-case Subset Sum below the meet-in-the-middle bound]] || Computational complexity || 7 || 5 || 0 || 2 || 0 || 0 || 2026-10-23 | ||
| Line 110: | Line 126: | ||
| [[Depth-three circuit lower bounds beyond the square-root exponent]] || Computational complexity || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-22 | | [[Depth-three circuit lower bounds beyond the square-root exponent]] || Computational complexity || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-22 | ||
|- | |- | ||
| [[ | | [[Squarefree values of quartics and power-free values of polynomials]] || Number theory || 7 || 0 || 0 || 5 || 0 || 2 || 2026-10-22 | ||
|- | |- | ||
| [[Mutually unbiased bases in dimension six]] || Quantum information || 7 || 5 || 0 || 1 || 1 || 0 || 2026-10-21 | | [[Mutually unbiased bases in dimension six]] || Quantum information || 7 || 5 || 0 || 1 || 1 || 0 || 2026-10-21 | ||
| Line 127: | Line 143: | ||
|- | |- | ||
| [[The Gotsman–Linial conjecture]] || Computational complexity || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-19 | | [[The Gotsman–Linial conjecture]] || Computational complexity || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-19 | ||
|- | |- | ||
| [[A factor-two approximation for shortest common superstring]] || Algorithms || 7 || 2 || 4 || 0 || 0 || 1 || 2026-10-17 | | [[A factor-two approximation for shortest common superstring]] || Algorithms || 7 || 2 || 4 || 0 || 0 || 1 || 2026-10-17 | ||
|- | |- | ||
| [[Foulkes' conjecture]] || Algebra || 7 || 0 || 0 || 6 || 0 || 1 || 2026-10-17 | | [[Foulkes' conjecture]] || Algebra || 7 || 0 || 0 || 6 || 0 || 1 || 2026-10-17 | ||
|- | |- | ||
| [[The affine Bernstein problem]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-17 | | [[The affine Bernstein problem]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-17 | ||
| Line 149: | Line 159: | ||
|- | |- | ||
| [[The Gopalan–Servedio square-root degree conjecture]] || Computational complexity || 7 || 1 || 0 || 5 || 0 || 1 || 2026-10-16 | | [[The Gopalan–Servedio square-root degree conjecture]] || Computational complexity || 7 || 1 || 0 || 5 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The Toms–Winter conjecture]] || Operator algebras || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-16 | | [[The Toms–Winter conjecture]] || Operator algebras || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[ | | [[The two-point Chowla conjecture]] || Number theory || 7 || 2 || 0 || 4 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[Deterministic polynomial factorization over prime fields]] || Algorithms || 6 || 3 || 0 || 1 || 0 || 2 || 2026-10-26 | | [[Deterministic polynomial factorization over prime fields]] || Algorithms || 6 || 3 || 0 || 1 || 0 || 2 || 2026-10-26 | ||
|- | |- | ||
| [[The | | [[The David–Semmes problem in higher codimension]] || Harmonic analysis || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-26 | ||
|- | |||
| [[Koebe's circle-domain conjecture]] || Complex analysis || 6 || 0 || 0 || 5 || 0 || 1 || 2026-10-25 | |||
|- | |- | ||
| [[Wall's D(2) problem]] || Homotopy theory || 6 || 2 || 1 || 2 || 0 || 1 || 2026-10-23 | | [[Wall's D(2) problem]] || Homotopy theory || 6 || 2 || 1 || 2 || 0 || 1 || 2026-10-23 | ||
|- | |- | ||
| [[Bose–Einstein condensation in the dilute Bose gas]] || Mathematical physics || 6 || 1 || 0 || 4 || 0 || 1 || 2026-10-22 | | [[Bose–Einstein condensation in the dilute Bose gas]] || Mathematical physics || 6 || 1 || 0 || 4 || 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 Birch and Swinnerton-Dyer formula in low Selmer corank]] || Number theory || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-22 | ||
| Line 182: | Line 190: | ||
| [[The Laughlin spectral gap]] || Mathematical physics || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-19 | | [[The Laughlin spectral gap]] || Mathematical physics || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-19 | ||
|- | |- | ||
| [[The | | [[The complete Crouzeix conjecture]] || Functional analysis || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-17 | ||
|- | |- | ||
| [[Connes' bicentralizer problem]] || Operator algebras || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-16 | | [[Connes' bicentralizer problem]] || Operator algebras || 6 || 1 || 0 || 3 || 0 || 2 || 2026-10-16 | ||
| Line 198: | Line 206: | ||
| [[The Boone–Higman conjecture]] || Group theory || 6 || 1 || 0 || 4 || 0 || 1 || 2026-10-16 | | [[The Boone–Higman conjecture]] || Group theory || 6 || 1 || 0 || 4 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The | | [[The hyperinvariant subspace problem]] || Functional analysis || 6 || 0 || 0 || 4 || 0 || 2 || 2026-10-16 | ||
|- | |||
| [[The optimal order of convex-body covering density]] || Convex geometry || 6 || 1 || 0 || 4 || 0 || 1 || 2026-10-16 | |||
|- | |||
| [[The GNRS conjecture for planar and bounded-treewidth graphs]] || Functional analysis || 6 || 1 || 1 || 3 || 0 || 1 || 2026-10-13 | |||
|- | |- | ||
| [[Polynomial removal for ordered binary matrices]] || Combinatorics || 6 || 4 || 0 || 1 || 0 || 1 || 2026-10-11 | | [[Polynomial removal for ordered binary matrices]] || Combinatorics || 6 || 4 || 0 || 1 || 0 || 1 || 2026-10-11 | ||
|- | |- | ||
| [[ | | [[Brennan's conjecture]] || Complex analysis || 5 || 0 || 0 || 3 || 0 || 2 || 2026-10-25 | ||
|- | |- | ||
| [[ | | [[Ostmann's inverse Goldbach conjecture]] || Number theory || 5 || 0 || 0 || 2 || 0 || 3 || 2026-10-23 | ||
|- | |- | ||
| [[The spin-one Haldane gap]] || Mathematical physics || 5 || 3 || 0 || 2 || 0 || 0 || 2026-10-23 | | [[The spin-one Haldane gap]] || Mathematical physics || 5 || 3 || 0 || 2 || 0 || 0 || 2026-10-23 | ||
| Line 259: | Line 271: | ||
|- | |- | ||
| [[The hypercube Ramsey number has linear order]] || Combinatorics || 5 || 0 || 1 || 2 || 0 || 2 || 2026-10-16 | | [[The hypercube Ramsey number has linear order]] || Combinatorics || 5 || 0 || 1 || 2 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[The one-dimensional Lieb–Thirring conjecture]] || Mathematical physics || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16 | | [[The one-dimensional Lieb–Thirring conjecture]] || Mathematical physics || 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 randomized k-server problem on arbitrary metrics]] || Algorithms || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16 | ||
| Line 282: | Line 290: | ||
| [[Dixmier's unitarizability problem]] || Group theory || 5 || 1 || 0 || 2 || 0 || 2 || 2026-10-13 | | [[Dixmier's unitarizability problem]] || Group theory || 5 || 1 || 0 || 2 || 0 || 2 || 2026-10-13 | ||
|- | |- | ||
| [[The | | [[The entropy-rate dimension formula for self-similar measures]] || Dynamical systems || 5 || 2 || 0 || 2 || 0 || 1 || 2026-10-12 | ||
|- | |- | ||
| [[The | | [[Endpoint Sobolev regularity of the centered maximal function]] || Harmonic analysis || 5 || 1 || 0 || 2 || 0 || 2 || 2026-10-11 | ||
|- | |||
| [[The logarithmic Brunn–Minkowski conjecture]] || Convex geometry || 5 || 1 || 0 || 2 || 0 || 2 || 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 | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[The Lang–Plaut problem]] || Functional analysis || 5 || 1 || 0 || 3 || 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 Partition Principle and the Axiom of Choice]] || Mathematical logic || 5 || 1 || 0 || 3 || 1 || 0 || 2026-10-10 | ||
| Line 299: | Line 311: | ||
|- | |- | ||
| [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-26 | | [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-26 | ||
|- | |- | ||
| [[Singular Bernoulli convolutions]] || Real analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-23 | | [[Singular Bernoulli convolutions]] || Real analysis || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-23 | ||
| Line 319: | Line 329: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[Fourier extension for positively curved surfaces in three dimensions]] || Harmonic analysis || 4 || 0 || 0 || 1 || 0 || 3 || 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 331: | Line 343: | ||
|- | |- | ||
| [[Ryser's covering conjecture]] || Combinatorics || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | | [[Ryser's covering conjecture]] || Combinatorics || 4 || 1 || 0 || 3 || 0 || 0 || 2026-10-16 | ||
|- | |||
| [[Sogge's local smoothing conjecture in three dimensions]] || Harmonic analysis || 4 || 1 || 0 || 1 || 0 || 2 || 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 343: | Line 357: | ||
|- | |- | ||
| [[The higher-dimensional Erdős distinct-distances conjecture]] || Discrete geometry || 4 || 0 || 1 || 2 || 0 || 1 || 2026-10-16 | | [[The higher-dimensional Erdős distinct-distances conjecture]] || Discrete geometry || 4 || 0 || 1 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |||
| [[The logarithmic Sobolev conjecture for subgaussian log-concave measures]] || Probability || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-16 | |||
|- | |- | ||
| [[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 349: | Line 365: | ||
|- | |- | ||
| [[Seymour's second-neighborhood conjecture]] || Combinatorics || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-14 | | [[Seymour's second-neighborhood conjecture]] || Combinatorics || 4 || 1 || 0 || 2 || 0 || 1 || 2026-10-14 | ||
|- | |||
| [[The Euclidean Steinitz–Bergström conjecture]] || Discrete geometry || 4 || 1 || 0 || 1 || 0 || 2 || 2026-10-12 | |||
|- | |- | ||
| [[The periodic tiling conjecture in dimension three]] || Discrete geometry || 4 || 2 || 0 || 0 || 0 || 2 || 2026-10-12 | | [[The periodic tiling conjecture in dimension three]] || Discrete geometry || 4 || 2 || 0 || 0 || 0 || 2 || 2026-10-12 | ||
|- | |- | ||
| [[Infinite finitely presented simple amenable groups]] || Group theory || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-10 | | [[Infinite finitely presented simple amenable groups]] || Group theory || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-10 | ||
| Line 361: | Line 375: | ||
|- | |- | ||
| [[Single-fold Diophantine representations]] || Mathematical logic || 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 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 | ||
|- | |- | ||
| [[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 | ||
| Line 387: | Line 397: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[The trilinear Hilbert transform]] || Harmonic analysis || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-20 | |||
|- | |- | ||
| [[Infinitely many closed geodesics on Riemannian spheres]] || Differential geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-19 | | [[Infinitely many closed geodesics on Riemannian spheres]] || Differential geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-19 | ||
| Line 395: | Line 407: | ||
|- | |- | ||
| [[An exact Hausdorff gauge for SLE]] || Probability || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | | [[An exact Hausdorff gauge for SLE]] || Probability || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| [[Classifying spaces and geometric obstructions for Artin groups]] || Group theory || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | | [[Classifying spaces and geometric obstructions for Artin groups]] || Group theory || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[GOE bulk universality for random regular graphs]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | | [[GOE bulk universality for random regular graphs]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
| Line 412: | Line 420: | ||
| [[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 | ||
|- | |- | ||
| [[ | | [[The Bochner–Riesz conjecture in three dimensions]] || Harmonic analysis || 3 || 0 || 0 || 1 || 0 || 2 || 2026-10-16 | ||
|- | |- | ||
| [[The Courtade–Kumar conjecture]] || Information theory || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | | [[The Courtade–Kumar conjecture]] || Information theory || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16 | ||
| Line 423: | Line 431: | ||
|- | |- | ||
| [[The isoperimetric conjecture for the cubic flat three-torus]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 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 ordinary double point volume gap]] || Algebraic geometry || 3 || 0 || 0 || 2 || 0 || 1 || 2026-10-16 | ||
|- | |- | ||
| [[The sharp constant in random triangle removal]] || Combinatorics || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | | [[The sharp constant in random triangle removal]] || Combinatorics || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
|- | |- | ||
| [[Memory–sample lower bounds for noiseless Gaussian regression]] || Information theory || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-10 | | [[Memory–sample lower bounds for noiseless Gaussian regression]] || Information theory || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-10 | ||
| Line 439: | Line 443: | ||
|- | |- | ||
| [[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 | ||
|- | |- | ||
| [[The Grothendieck homotopy hypothesis]] || Homotopy theory || 2 || 1 || 0 || 0 || 0 || 1 || 2026-10-19 | | [[The Grothendieck homotopy hypothesis]] || Homotopy theory || 2 || 1 || 0 || 0 || 0 || 1 || 2026-10-19 | ||
| Line 461: | Line 463: | ||
|- | |- | ||
| [[Smith–Toda complexes at every height]] || Homotopy 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 Eisenbud–Green–Harris and lex-plus-powers conjectures]] || Algebra || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
| Line 471: | Line 471: | ||
|- | |- | ||
| [[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 | ||
|- | |||
| [[The Kakeya conjecture in three and four dimensions]] || Harmonic analysis || 2 || 0 || 0 || 1 || 0 || 1 || 2026-10-16 | |||
|- | |- | ||
| [[The Kervaire invariant problem at the prime three]] || Homotopy theory || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16 | | [[The Kervaire invariant problem at the prime three]] || Homotopy theory || 2 || 0 || 0 || 2 || 0 || 0 || 2026-10-16 | ||
| Line 489: | Line 491: | ||
|- | |- | ||
| [[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 higher-dimensional Duke problem for torus packets]] || Number theory || 2 || 0 || 0 || 1 || 0 || 1 || 2026-10-16 | |||
|- | |||
| [[The inhomogeneous Duffin–Schaeffer conjecture]] || Number theory || 2 || 0 || 0 || 1 || 0 || 1 || 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 515: | Line 521: | ||
|- | |- | ||
| [[The Fontaine–Mazur conjecture at the prime 2]] || Number 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 | ||
|- | |- | ||
| [[Yau's uniformization conjecture]] || Differential geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | | [[Yau's uniformization conjecture]] || Differential geometry || 1 || 0 || 0 || 1 || 0 || 0 || 2026-10-16 | ||
Latest revision as of 05:12, 26 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 26 October 2026. The table can be re-sorted by any column.
Summary
- 256 result pages; 256 of them list at least one public follow-up.
- 1410 follow-up entries in total:
- Research follow-ups: 459
- Formalizations: 31
- Reviews and verifications: 641
- Critiques and corrections: 17
- Catalogue entries, citations and exposition: 262
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.
