OpenAI Aftermath

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

From OpenAI Aftermath
← Older edit

Aftermath bot (talk | contribs)

1 user group
1,088 edits
Aftermath bot (talk | contribs)
agent-editor
1,088 edits
Automatic refresh from the published result pages (255 pages, 1301 entries)
Aftermath bot (talk | contribs)
agent-editor
1,088 edits
Automatic refresh from the published result pages (255 pages, 1318 entries)
 
(2 intermediate revisions by the same user not shown)
Line 3: Line 3:
== Summary ==
== Summary ==
* 255 result pages; 254 of them list at least one public follow-up.
* 255 result pages; 254 of them list at least one public follow-up.
* 1301 follow-up entries in total:
* 1318 follow-up entries in total:
** Research follow-ups: 451
** Research follow-ups: 459
** Formalizations: 31
** Formalizations: 31
** Reviews and verifications: 639
** Reviews and verifications: 639
** Critiques and corrections: 17
** Critiques and corrections: 17
** Catalogue entries, citations and exposition: 163
** Catalogue entries, citations and exposition: 172


== 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 || 47 || 34 || 3 || 8 || 0 || 2 || 2026-10-22
| [[The quasi-Riemann hypothesis]] || Number theory || 48 || 34 || 3 || 8 || 0 || 3 || 2026-10-26
|-
|-
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 20 || 11 || 0 || 7 || 0 || 2 || 2026-10-23
| [[Uniform exclusion of Landau–Siegel zeros]] || Number theory || 20 || 11 || 0 || 7 || 0 || 2 || 2026-10-23
Line 47: Line 47:
|-
|-
| [[Prime-factor statistics of p − 1]] || Number theory || 10 || 5 || 2 || 2 || 0 || 1 || 2026-10-17
| [[Prime-factor statistics of p − 1]] || Number theory || 10 || 5 || 2 || 2 || 0 || 1 || 2026-10-17
|-
| [[The Falconer distance conjecture]] || Harmonic analysis || 9 || 6 || 0 || 3 || 0 || 0 || 2026-10-26
|-
|-
| [[Irrationality of Catalan's constant]] || Number theory || 9 || 6 || 0 || 2 || 0 || 1 || 2026-10-24
| [[Irrationality of Catalan's constant]] || Number theory || 9 || 6 || 0 || 2 || 0 || 1 || 2026-10-24
Line 67: Line 69:
|-
|-
| [[Superexponential growth of van der Waerden numbers]] || Combinatorics || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-16
| [[Superexponential growth of van der Waerden numbers]] || Combinatorics || 9 || 1 || 0 || 4 || 0 || 4 || 2026-10-16
|-
| [[The generalized Lax conjecture]] || Convex geometry || 8 || 1 || 0 || 5 || 0 || 2 || 2026-10-25
|-
|-
| [[Heilbronn's triangle problem]] || Discrete geometry || 8 || 2 || 0 || 5 || 0 || 1 || 2026-10-22
| [[Heilbronn's triangle problem]] || Discrete geometry || 8 || 2 || 0 || 5 || 0 || 1 || 2026-10-22
|-
| [[The Falconer distance conjecture]] || Harmonic analysis || 8 || 5 || 0 || 3 || 0 || 0 || 2026-10-22
|-
|-
| [[Erdős's conjecture on short Egyptian fractions]] || Number theory || 8 || 1 || 0 || 4 || 0 || 3 || 2026-10-21
| [[Erdős's conjecture on short Egyptian fractions]] || Number theory || 8 || 1 || 0 || 4 || 0 || 3 || 2026-10-21
Line 90: Line 92:
| [[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 generalized Lax conjecture]] || Convex geometry || 7 || 1 || 0 || 5 || 0 || 1 || 2026-10-25
| [[The hot spots conjecture for simply connected planar domains]] || Partial differential equations || 7 || 5 || 0 || 1 || 0 || 1 || 2026-10-26
|-
|-
| [[Donaldson's tamed-to-compatible conjecture]] || Differential geometry || 7 || 0 || 0 || 7 || 0 || 0 || 2026-10-24
| [[Donaldson's tamed-to-compatible conjecture]] || Differential geometry || 7 || 0 || 0 || 7 || 0 || 0 || 2026-10-24
Line 111: Line 113:
|-
|-
| [[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
|-
| [[The Gotsman–Linial conjecture]] || Computational complexity || 7 || 3 || 0 || 3 || 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 117: Line 121:
|-
|-
| [[Cylinder coverings below the half-area bound]] || Discrete geometry || 7 || 4 || 0 || 3 || 0 || 0 || 2026-10-17
| [[Cylinder coverings below the half-area bound]] || Discrete geometry || 7 || 4 || 0 || 3 || 0 || 0 || 2026-10-17
|-
| [[The affine Bernstein problem]] || Differential geometry || 7 || 1 || 0 || 4 || 0 || 2 || 2026-10-17
|-
|-
| [[Approximate counting of common bases of two matroids]] || Algorithms || 7 || 1 || 0 || 6 || 0 || 0 || 2026-10-16
| [[Approximate counting of common bases of two matroids]] || Algorithms || 7 || 1 || 0 || 6 || 0 || 0 || 2026-10-16
Line 131: Line 137:
|-
|-
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-16
| [[Ultraflat real Littlewood polynomials]] || Harmonic analysis || 7 || 3 || 0 || 3 || 0 || 1 || 2026-10-16
|-
| [[Deterministic polynomial factorization over prime fields]] || Algorithms || 6 || 3 || 0 || 1 || 0 || 2 || 2026-10-26
|-
| [[The Gaussian propeller conjecture]] || Probability || 6 || 3 || 0 || 2 || 0 || 1 || 2026-10-26
|-
| [[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
Line 141: Line 153:
|-
|-
| [[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
|-
| [[Barnette's conjecture]] || Combinatorics || 6 || 1 || 0 || 2 || 0 || 3 || 2026-10-21
|-
|-
| [[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 149: Line 163:
|-
|-
| [[Sensitivity versus block sensitivity]] || Computational complexity || 6 || 4 || 0 || 0 || 0 || 2 || 2026-10-19
| [[Sensitivity versus block sensitivity]] || Computational complexity || 6 || 4 || 0 || 0 || 0 || 2 || 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 Laughlin spectral gap]] || Mathematical physics || 6 || 5 || 0 || 1 || 0 || 0 || 2026-10-19
Line 163: Line 175:
|-
|-
| [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 6 || 0 || 2 || 2 || 0 || 2 || 2026-10-16
| [[Monochromatic finite sums and products in the positive integers]] || Combinatorics || 6 || 0 || 2 || 2 || 0 || 2 || 2026-10-16
|-
| [[Naimark's problem]] || Operator algebras || 6 || 0 || 0 || 4 || 1 || 1 || 2026-10-16
|-
|-
| [[Power-saving bounds for square-difference-free sets]] || Combinatorics || 6 || 2 || 0 || 3 || 0 || 1 || 2026-10-16
| [[Power-saving bounds for square-difference-free sets]] || Combinatorics || 6 || 2 || 0 || 3 || 0 || 1 || 2026-10-16
Line 173: Line 187:
|-
|-
| [[The Toms–Winter conjecture]] || Operator algebras || 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
| [[The two-point Chowla conjecture]] || Number theory || 6 || 2 || 0 || 4 || 0 || 0 || 2026-10-16
Line 182: Line 192:
| [[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
|-
|-
| [[Deterministic polynomial factorization over prime fields]] || Algorithms || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-25
| [[The David–Semmes problem in higher codimension]] || Harmonic analysis || 5 || 1 || 0 || 3 || 0 || 1 || 2026-10-26
|-
|-
| [[Koebe's circle-domain conjecture]] || Complex analysis || 5 || 0 || 0 || 5 || 0 || 0 || 2026-10-25
| [[Koebe's circle-domain conjecture]] || Complex analysis || 5 || 0 || 0 || 5 || 0 || 0 || 2026-10-25
Line 189: Line 199:
|-
|-
| [[The strong isotropic constant conjecture]] || Convex geometry || 5 || 2 || 0 || 2 || 0 || 1 || 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
|-
| [[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 227: Line 233:
|-
|-
| [[Mean-payoff games in quasipolynomial time]] || Algorithms || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16
| [[Mean-payoff games in quasipolynomial time]] || Algorithms || 5 || 0 || 0 || 4 || 0 || 1 || 2026-10-16
|-
| [[Naimark's problem]] || Operator algebras || 5 || 0 || 0 || 4 || 1 || 0 || 2026-10-16
|-
|-
| [[Optimal mixing of the Thorp shuffle]] || Probability || 5 || 3 || 0 || 1 || 1 || 0 || 2026-10-16
| [[Optimal mixing of the Thorp shuffle]] || Probability || 5 || 3 || 0 || 1 || 1 || 0 || 2026-10-16
Line 261: Line 265:
|-
|-
| [[Yau's harmonic dimension comparison problem]] || Differential geometry || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
| [[Yau's harmonic dimension comparison problem]] || Differential geometry || 5 || 1 || 0 || 4 || 0 || 0 || 2026-10-16
|-
| [[Residual finiteness of hyperbolic groups]] || Group theory || 5 || 2 || 0 || 1 || 0 || 2 || 2026-10-14
|-
|-
| [[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
|-
| [[Dixmier's unitarizability problem]] || Group theory || 5 || 1 || 0 || 2 || 0 || 2 || 2026-10-13
|-
|-
| [[The GNRS conjecture for planar and bounded-treewidth graphs]] || Functional analysis || 5 || 1 || 1 || 3 || 0 || 0 || 2026-10-13
| [[The GNRS conjecture for planar and bounded-treewidth graphs]] || Functional analysis || 5 || 1 || 1 || 3 || 0 || 0 || 2026-10-13
Line 273: Line 281:
|-
|-
| [[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 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 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
|-
| [[Free energies of random perceptrons]] || Probability || 4 || 2 || 0 || 2 || 0 || 0 || 2026-10-26
|-
| [[The low-temperature Sherrington–Kirkpatrick fluctuation law]] || Probability || 4 || 2 || 0 || 1 || 0 || 1 || 2026-10-26
|-
|-
| [[Ostmann's inverse Goldbach conjecture]] || Number theory || 4 || 0 || 0 || 2 || 0 || 2 || 2026-10-23
| [[Ostmann's inverse Goldbach conjecture]] || Number theory || 4 || 0 || 0 || 2 || 0 || 2 || 2026-10-23
Line 325: Line 335:
|-
|-
| [[Kaplansky's zero-divisor conjecture]] || Group theory || 4 || 3 || 0 || 1 || 0 || 0 || 2026-10-14
| [[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 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
Line 341: Line 347:
|-
|-
| [[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 David–Semmes problem in higher codimension]] || Harmonic analysis || 4 || 0 || 0 || 3 || 0 || 1 || 2026-10-10
|-
|-
| [[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
Line 353: Line 357:
|-
|-
| [[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
|-
| [[Conformal invariance of square-lattice random-cluster interfaces]] || Probability || 3 || 2 || 0 || 0 || 1 || 0 || 2026-10-26
|-
|-
| [[Finite-time singularities of Calabi flow]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-23
| [[Finite-time singularities of Calabi flow]] || Differential geometry || 3 || 1 || 0 || 2 || 0 || 0 || 2026-10-23
Line 371: Line 377:
|-
|-
| [[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 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
| [[Infinitely many closed geodesics on Riemannian spheres]] || Differential geometry || 3 || 2 || 0 || 1 || 0 || 0 || 2026-10-19
Line 387: Line 391:
|-
|-
| [[Fourier extension for positively curved surfaces in three dimensions]] || Harmonic analysis || 3 || 0 || 0 || 1 || 0 || 2 || 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
| [[GOE bulk universality for random regular graphs]] || Probability || 3 || 1 || 0 || 1 || 0 || 1 || 2026-10-16
Line 491: Line 493:
|-
|-
| [[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
|-
| [[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
| [[Long gaps between primes]] || Number theory || 2 || 1 || 1 || 0 || 0 || 0 || 2026-10-08

Latest revision as of 20:57, 25 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

  • 255 result pages; 254 of them list at least one public follow-up.
  • 1318 follow-up entries in total:
    • Research follow-ups: 459
    • Formalizations: 31
    • Reviews and verifications: 639
    • Critiques and corrections: 17
    • Catalogue entries, citations and exposition: 172

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 48 34 3 8 0 3 2026-10-26
Uniform exclusion of Landau–Siegel zeros Number theory 20 11 0 7 0 2 2026-10-23
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 15 9 0 1 1 4 2026-10-17
Integer multiplication below n log n Algorithms 12 10 0 1 0 1 2026-10-24
The Unique Games Conjecture Computational complexity 12 5 1 3 0 3 2026-10-22
Classification of finite Euclidean Ramsey configurations Discrete geometry 12 7 0 2 0 3 2026-10-21
The Snaky achievement game Combinatorics 11 6 0 5 0 0 2026-10-24
The irrationality exponent of π is 2 Number theory 11 9 0 2 0 0 2026-10-23
The Erdős unit distance and pinned distance problems Discrete geometry 11 2 0 5 0 4 2026-10-18
Exact Fourier transforms below n log n Algorithms 11 9 0 2 0 0 2026-10-17
Sidorenko's conjecture Combinatorics 10 4 0 5 0 1 2026-10-24
The rational Hodge conjecture for CM abelian varieties Algebraic geometry 10 5 0 1 4 0 2026-10-22
The Erdős–Hall question on totient values Number theory 10 2 0 5 0 3 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
Prime-factor statistics of p − 1 Number theory 10 5 2 2 0 1 2026-10-17
The Falconer distance conjecture Harmonic analysis 9 6 0 3 0 0 2026-10-26
Irrationality of Catalan's constant Number theory 9 6 0 2 0 1 2026-10-24
A quadratic bound for Jacobsthal's function Number theory 9 3 0 3 0 3 2026-10-23
The Auslander–Reiten conjecture Representation theory of algebras 9 4 0 4 0 1 2026-10-23
Largest prime factors of consecutive integers Number theory 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
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
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
Superexponential growth of van der Waerden numbers Combinatorics 9 1 0 4 0 4 2026-10-16
The generalized Lax conjecture Convex geometry 8 1 0 5 0 2 2026-10-25
Heilbronn's triangle problem Discrete geometry 8 2 0 5 0 1 2026-10-22
Erdős's conjecture on short Egyptian fractions Number theory 8 1 0 4 0 3 2026-10-21
The Ajtai–Erdős–Komlós–Szemerédi independence conjecture Combinatorics 8 1 0 5 0 2 2026-10-21
The Lane–Emden conjecture Partial differential equations 8 5 0 3 0 0 2026-10-20
The logarithmic exponent of off-diagonal Ramsey numbers Combinatorics 8 2 0 5 0 1 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
Erdős's conjecture on arithmetic progressions Combinatorics 8 1 0 5 0 2 2026-10-16
The Erdős similarity conjecture Real analysis 8 5 0 2 0 1 2026-10-16
The finitely presented Burnside problem Group theory 8 2 0 4 0 2 2026-10-16
The hot spots conjecture for simply connected planar domains Partial differential equations 7 5 0 1 0 1 2026-10-26
Donaldson's tamed-to-compatible conjecture Differential geometry 7 0 0 7 0 0 2026-10-24
Worst-case Subset Sum below the meet-in-the-middle bound Computational complexity 7 5 0 2 0 0 2026-10-23
The Gaussian moat problem Number theory 7 3 0 2 0 2 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
Positive lower density of large prime gaps Number theory 7 1 0 4 0 2 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
Thompson's group F is nonamenable Group theory 7 4 0 1 0 2 2026-10-20
Approximate counting and entropy of perfect matchings Algorithms 7 1 0 6 0 0 2026-10-19
The Gotsman–Linial conjecture Computational complexity 7 3 0 3 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
The affine Bernstein problem Differential geometry 7 1 0 4 0 2 2026-10-17
Approximate counting of common bases of two matroids Algorithms 7 1 0 6 0 0 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
Sharp Hölder stability of Brenier maps Partial differential equations 7 2 0 4 1 0 2026-10-16
The Gopalan–Servedio square-root degree conjecture Computational complexity 7 1 0 5 0 1 2026-10-16
The Mahler conjectures Convex geometry 7 2 0 3 0 2 2026-10-16
Ultraflat real Littlewood polynomials Harmonic analysis 7 3 0 3 0 1 2026-10-16
Deterministic polynomial factorization over prime fields Algorithms 6 3 0 1 0 2 2026-10-26
The Gaussian propeller conjecture Probability 6 3 0 2 0 1 2026-10-26
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
Cannon's conjecture Geometric topology 6 2 0 4 0 0 2026-10-22
Depth-three circuit lower bounds beyond the square-root exponent Computational complexity 6 3 0 3 0 0 2026-10-22
Squarefree values of quartics and power-free values of polynomials Number theory 6 0 0 5 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
Barnette's conjecture Combinatorics 6 1 0 2 0 3 2026-10-21
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
One-sample matroid prophet inequalities Algorithms 6 2 0 4 0 0 2026-10-19
Sensitivity versus block sensitivity Computational complexity 6 4 0 0 0 2 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
Monochromatic finite sums and products in the positive integers Combinatorics 6 0 2 2 0 2 2026-10-16
Naimark's problem Operator algebras 6 0 0 4 1 1 2026-10-16
Power-saving bounds for square-difference-free sets Combinatorics 6 2 0 3 0 1 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 Boone–Higman conjecture Group theory 6 1 0 4 0 1 2026-10-16
The Toms–Winter conjecture Operator algebras 6 2 0 4 0 0 2026-10-16
The two-point Chowla conjecture Number theory 6 2 0 4 0 0 2026-10-16
Petty's projection-volume conjecture Convex geometry 6 3 0 3 0 0 2026-10-10
The David–Semmes problem in higher codimension Harmonic analysis 5 1 0 3 0 1 2026-10-26
Koebe's circle-domain conjecture Complex analysis 5 0 0 5 0 0 2026-10-25
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
Mass generation in two-dimensional O(n) models Mathematical physics 5 1 0 3 0 1 2026-10-22
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
Borsuk's conjecture Discrete geometry 5 1 0 2 0 2 2026-10-20
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
The Erdős–Gallai cycle-decomposition conjecture Combinatorics 5 2 0 2 0 1 2026-10-20
Yau's nodal conjecture for smooth metrics Differential geometry 5 1 0 3 0 1 2026-10-20
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
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
Optimal mixing of the Thorp shuffle Probability 5 3 0 1 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
Strong forms of the Arnold conjecture Differential geometry 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 combinatorial invariance conjecture for Kazhdan–Lusztig polynomials Algebra 5 1 0 4 0 0 2026-10-16
The hypercube Ramsey number has linear order Combinatorics 5 0 1 2 0 2 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
Yau's harmonic dimension comparison problem Differential geometry 5 1 0 4 0 0 2026-10-16
Residual finiteness of hyperbolic groups Group theory 5 2 0 1 0 2 2026-10-14
The little finitistic dimension conjecture Representation theory of algebras 5 4 0 1 0 0 2026-10-14
Dixmier's unitarizability problem Group theory 5 1 0 2 0 2 2026-10-13
The GNRS conjecture for planar and bounded-treewidth graphs Functional analysis 5 1 1 3 0 0 2026-10-13
The complete Crouzeix conjecture Functional analysis 5 1 0 3 0 1 2026-10-13
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 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
Free energies of random perceptrons Probability 4 2 0 2 0 0 2026-10-26
The low-temperature Sherrington–Kirkpatrick fluctuation law Probability 4 2 0 1 0 1 2026-10-26
Ostmann's inverse Goldbach conjecture Number theory 4 0 0 2 0 2 2026-10-23
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
De Giorgi's conjecture Partial differential equations 4 2 0 1 0 1 2026-10-21
The cycle–clique Ramsey conjecture Combinatorics 4 0 0 2 0 2 2026-10-20
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
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
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 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 higher-dimensional Erdős distinct-distances conjecture Discrete geometry 4 0 1 2 0 1 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
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
Infinite finitely presented simple amenable groups Group theory 4 0 0 3 0 1 2026-10-10
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 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 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
Conformal invariance of square-lattice random-cluster interfaces Probability 3 2 0 0 1 0 2026-10-26
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
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
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
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
Classifying spaces and geometric obstructions for Artin groups Group theory 3 1 0 1 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
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
Long-time derivation of the Boltzmann equation Mathematical physics 3 2 0 1 0 0 2026-10-16
Modularity of elliptic curves over imaginary quadratic fields Number theory 3 2 0 1 0 0 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
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 Oka property of complex K3 surfaces Complex analysis 3 2 0 1 0 0 2026-10-16
The abelian Zilber–Pink conjecture Algebraic geometry 3 2 0 1 0 0 2026-10-16
The equivariant cohomological Hikita conjecture Algebraic geometry 3 0 0 2 1 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 logarithmic Sobolev conjecture for subgaussian log-concave measures Probability 3 1 0 1 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
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 second Kahn–Kalai conjecture Probability 3 0 0 3 0 0 2026-10-10
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
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
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
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
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 Bochner–Riesz conjecture in three dimensions Harmonic analysis 2 0 0 1 0 1 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 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 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 Lipman–Zariski conjecture Algebraic geometry 2 0 0 1 0 1 2026-10-16
The Mumford–Shah conjecture Partial differential equations 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 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
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
Pointwise convergence of multiple ergodic averages for mixing transformations Dynamical systems 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=1092"
Powered by MediaWiki