gan-nash-impossibility-mathematically-necessitates-model-level-crisis
IN derived (depth 8)
Created 2026-06-21T14:08:47+00:00 · Reviewed 2026-06-21T15:37:01+00:00
Farnia & Ozdaglar's proof that GANs lack guaranteed Nash equilibria provides formal grounding for the GAN-level pragmatism-crisis dynamic — the training instability that exemplifies the field-wide crisis pattern at the model level is not merely an empirical tendency but has a provable theoretical basis in adversarial game structure, strengthening the case that the pragmatism-crisis pattern at the model level is structurally rooted rather than incidental.
Justifications
SL — Formal impossibility result proves model-level crisis is mathematically necessary
Antecedents (all must be IN):
- IN gans-no-guaranteed-nash-equilibrium — Farnia & Ozdaglar (ICML 2020) proved that GANs do not always have Nash equilibria, establishing a theoretical limitation of adversarial training
- IN gan-exemplifies-pragmatism-crisis-at-model-level — GANs recapitulate at the individual model level the field-wide pattern where pragmatic shortcuts drive both capability and crisis — their implicit generative approach (pragmatically avoiding intractable likelihood computation) simultaneously enabled unique capabilities (single-pass generation, cross-domain applications) and created fundamental training instability, making GANs the clearest single-model exemplar of the pragmatism-crisis dynamic.
Dependents
These beliefs depend on this one:
- IN math-determines-failure-mode-economics-determines-timing — Mathematical impossibility results and economic selection pressures play orthogonal roles in paradigm evolution — GAN Nash impossibility (Farnia & Ozdaglar 2020) mathematically necessitated the specific failure mode (training instability, mode collapse) but did not determine adoption or displacement timing, which was governed by scalability economics; mathematics determines HOW paradigms fail while economics determines WHEN.